היי יונדב, בסביבות דקה 3:30 הראית את המבנה של השפה OSS עם כמתים קודם "קיים" ואח"כ "לכל" אינטואיטיבית זה נראלי ממש עונה על ההגדרה של הקבוצה סיגמא 2. ובכל זאת בסרטון אתה מראה שהשפה היא CONP קשה כלומר נמצאת בCONP שזה פאי1. האם זה הגיוני או שיש משהו שאני לא הבנתי טוב? תודה מראש
@@avinoamnaor4372 היי! זהו שים לב שכשאנחנו אומרים קו אן פי קשה אנחנו מתכוונים שיש רדוקצייה מכל שפה בקו אן פי אליה, לאו דווקא שהיא עצמה נמצאת בקו אן פי ובאמת בסרטון אני לא טוען שהיא שייכת לקו אן פי, אלא שהיא קו אן פי קשה
היי יונדב, בסביבות דקה 3:30 הראית את המבנה של השפה OSS עם כמתים קודם "קיים" ואח"כ "לכל" אינטואיטיבית זה נראלי ממש עונה על ההגדרה של הקבוצה סיגמא 2. ובכל זאת בסרטון אתה מראה שהשפה היא CONP קשה כלומר נמצאת בCONP שזה פאי1. האם זה הגיוני או שיש משהו שאני לא הבנתי טוב?
תודה מראש
@@avinoamnaor4372 היי!
זהו שים לב שכשאנחנו אומרים קו אן פי קשה אנחנו מתכוונים שיש רדוקצייה מכל שפה בקו אן פי אליה, לאו דווקא שהיא עצמה נמצאת בקו אן פי
ובאמת בסרטון אני לא טוען שהיא שייכת לקו אן פי, אלא שהיא קו אן פי קשה