Limiti inferiori del circuito e complessità di kolmogorov


21

Considera il seguente ragionamento:

Consenti a indicare la complessità di Kolmogorov della stringa x . Il teorema di incompletezza di Chaitin lo diceK(x)x

per qualsiasi sistema uniforme e sufficientemente forte formale , esiste una costante T (seconda solo sul sistema formale e lingua) tale che per qualsiasi stringa x , S non può dimostrare che K ( x ) T .STxSK(x)T

Sia una funzione booleana su n variabili se la complessità di Kolmogorov del suo spettro è al massimo k . Sia S ( f n ) la complessità del circuito di f n , ovvero la dimensione del calcolo minimo del circuito f n .fnnkS(fn)fnfn

Un limite superiore (approssimativo) per è S ( f n ) c B B ( k ) n per una costante c e B B ( k ) è una funzione di castoro occupato (i passi massimi possibili a l'arresto della macchina di Turing con una descrizione della dimensione k può eseguire). (Per ogni 1 nello spettro, costruisci il minterm del corrispondente incarico di verità e prendi insieme OR di tutti questi minterm.)S(fn)

S(fn)cBB(k)n
cBB(k)k1

Supponiamo ora per una famiglia infinita di funzioni booleane , abbiamo una prova formale che L richiede circuiti di dimensioni superlineari, cioèL={fn}nL

dove g ( n ) ω ( 1 ) .

Snn0, g(n)nS(fn)
g(n)ω(1)

Se prendiamo per essere sufficientemente grande, avremo g ( n ) > c B B ( T )n

g(n)>cBB(T)

In particolare, ciò dimostrerebbe che la complessità di Kolmogorov dello spettro di è almeno T , il che è impossibile.fnT

Questo porta a due domande:

1) Dovrebbe esserci qualcosa di sbagliato nel ragionamento sopra. Principalmente perché renderebbe formalmente non dimostrabili i limiti inferiori del circuito superlineare.

2) Conosci approcci simili per mostrare le barriere per i limiti inferiori, cioè per dimostrare che alcuni tipi di limiti inferiori (circuitali) sono formalmente non dimostrabili?


idee interessanti. in qualche modo correlato alla prova razborov / rudich riguardo alle "prove naturali" che aboliscono le barriere a P = NP (ma probabilmente applicabile anche ad altre separazioni di classi di complessità elencate come esempi nel documento) ... hai letto quel documento? vedi anche barriere P =? NP e barriere / complessità del circuito monotono . sembra che le separazioni delle classi di complessità siano simili nella struttura alle prove di non dimostrabilità.
dal

2
puoi approfondire lo "spettro" di f_n? c'è un modo per formulare la domanda senza fare riferimento allo "spettro"?
vzn,

è probabilmente vero che si può studiare la complessità delle funzioni studiando la più piccola TM [nel senso della tabella / stati di stato] che le calcola e che ciò corrisponderà approssimativamente ai limiti inferiori del circuito. se riesci a dimostrare che è impossibile, piuttosto che molto difficile, trovare quella TM più piccola, potresti avere qualcosa lì. tuttavia è "semplice" trovare la TM più piccola tramite enumerazione canonica di circuiti o TM. se rifletti sul perché questo approccio funzioni, potrebbe essere utile capire perché la domanda non porta a un problema.
vzn

1
(f(0,0,..,0),f(0,0,..,1),..,f(1,1,..,1))

Risposte:


11

NfnTNN>g1(cBB(T))BB


S

1

A(k)K(A(k))kkK(A(k))k

BB(T)

α(k)kα(k)K(0α(k)+1)>k


Perché questa situazione è problematica? Non hai dato un programma il cui output sarebbe A (k) e la sua lunghezza sarebbe inferiore a k.
domotorp,

BB(k)k

È problematico (probabilmente) nello stesso senso della domanda originale.
Yuval Filmus,

Ancora non capisco. Non esibisci una stringa e una prova che la sua complessità di Kolmogorov è grande. Esibisci che esiste una stringa la cui complessità è grande.
Sasho Nikolov,

Penso che siano problematici in diversi modi. Mentre lo leggo, indichi una specifica affermazione vera, che non ha una prova. Mentre lo espongo nella mia domanda, sottolineo che comporta una prova di qualcosa che non è dimostrabile.
Magnus Trova il
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.