Source-backed question

נתונות מחלקות הסיבוכיות הבאות. I. המחלקה C 1 היא מחלקת כל השפות A Σ* עבור קיימת מכונת טיורינג אי-דטרמיניסטית M…

1Exams0Assignments0Lessons1Source documents
שאלת רב־ברירהq-33ae82b2ab4b

נוסח השאלה

נתונות מחלקות הסיבוכיות הבאות. I. המחלקה C1C_1 היא מחלקת כל השפות A⊆Σ∗A\subseteq Σ* עבור קיימת מכונת טיורינג אי-דטרמיניסטית M וקיימים c≥1c\ge1 כך שלכל x∈Σ∗x\in Σ*, אם x∈Ax\in A אז קיימת ריצת M על x העוצרת אחרי לכל היותר ∣x∣c|x|^c צעדים, וגם אם x∉Ax\notin A אז בכל ריצה של M על x המכונה אינה עוצרת. II. המחלקה C2C_2 היא מחלקת כל השפות A⊆Σ∗A\subseteq Σ* עבור קיימת מכונת טיורינג אי-דטרמיניסטית M עם זמן ריצה פולינומי כך שלכל x∈Σ∗x\in Σ* מספר הבחירות האי-דטרמיניסטיות ש M מבצעת הוא לכל היותר 10 lg|x| בכל ריצה על x∈Σ∗x\in Σ* כמו כן לכל אם x∈Ax\in A אז כל ריצה של M על x מקבלת. וגם אם x∉Ax\notin A אז קיימת ריצת של M על x שבה M דוחה. אילו מהטענות הבאות היא התוצאה ביותר היידוע כנכונה?

  1. אאם C_1⊆C_2 אז P=NP.
  2. בC_1⊆coNP וגם C_2⊆coNP.
  3. גcoNP⊆C_1 וגם C_2⊆P.
  4. דC_1⊆NP וגם C_2⊆NP.
  5. הC_1⊆P וגם C_2=NP.
  6. וC_1=coNP , C_2=⋃_{c≥1} DTime(n^{clogn}).

תמלול ראשון מתוך עמוד המקור ב־tools/summary/.work. צילום העמוד מצורף למטה כדי שאפשר יהיה לאמת סימון מתמטי וניסוח.

Exact provenance

Appearances by source document

Each card is a genuinely distinct file. Printed versions inside one PDF stay in that card and do not inflate the sitting count.

Exam

2025 C · moed B

shalon_131111_2025_s3_g06_moed2.pdf

Question 4Page 7Visual reading

Byte-identical aliases: נושא 131111 קבוצה 13111106 שנה 2025 סמסטר 3 מועד 2.pdf

View source scan — page 7Source page 7 from shalon_131111_2025_s3_g06_moed2.pdf Open full size

Near variants — not duplicates