מסגרת מתמטית חדשה מוכיחה שעוררות פולינומיות משמרות שבוך NPT בין תת-מערכות ויכולות ליצור זוגות שבוכים ממצבים נפרדים. מקטינה בעיות ממימד אינסופי לאלגברה לינארית סופית—מאפשרת כלים מעשיים לגילוי שבוך.

מסגרת מתמטית חדשה מוכיחה שעוררות פולינומיות משמרות שבוך NPT בין תת-מערכות ויכולות ליצור זוגות שבוכים ממצבים נפרדים. מקטינה בעיות ממימד אינסופי לאלגברה לינארית סופית—מאפשרת כלים מעשיים לגילוי שבוך.