FROM INTUITION TO RESEARCH
Drie niveaus van uitleg
01 · Begrijp het probleem
Een determinant combineert elementen van een vierkante matrix. De permanent telt vergelijkbare producten op, maar zonder afwisselende tekens. Dat kleine verschil maakt de berekening fundamenteel anders.
02 · Begrijp de bijdrage
De publicatie meldt nieuwe ondergrenzen, waaronder orde n⁴/log n voor rekenkundige formules voor de permanent.
03 · Academische verdieping
Een rekenkundige formule mag tussenresultaten niet onbeperkt hergebruiken zoals een algemeen circuit. Een formulegrens geldt dus niet automatisch voor alle circuits of algoritmen. Het gebruikte lichaam, toegestane constanten en circuitklasse horen bij de exacte stelling.
Mogelijke betekenis
Mogelijke vooruitgang in methoden die noodzakelijke rekeninspanning aantonen.
Wat NIET is aangetoond
Dit lost P versus NP niet op en bewijst geen universele looptijdgrens voor software.