Informatica teorica

3

Ogni algoritmo avido ha una struttura matroid?

E 'ben noto che per ogni matroide e qualsiasi funzione peso , ci esce un algoritmo che restituisce una base massima peso di . Quindi, è vera anche la direzione opposta? Cioè, se esiste un algoritmo avido, allora ci deve essere anche una struttura matroid.MMMwwwGreedyBasis(M,w)GreedyBasis(M,w)\mbox{GreedyBasis}(M,w)MMM

13 ds.algorithms greedy-algorithms

1

Ci sono problemi "NP-Intermediate-Complete"?

Supponiamo P NP.≠≠\ne Il teorema di Ladner afferma che ci sono problemi intermedi NP (problemi in NP che non sono né in P né NP-Complete). Ho trovato online alcuni riferimenti velati che suggeriscono (penso) che ci sono molti "livelli" di linguaggi reciprocamente riducibili all'interno di NPI che sicuramente non collassano …

13 cc.complexity-theory np np-intermediate

3

Quali sono esempi naturali di prove non relativizzabili?

A quanto ho capito, una prova che P = NP o P ≠ NP dovrebbe essere non relativizzabile (come negli oracoli della teoria della ricorsione). Praticamente tutte le prove sembrano essere relativizzabili, però. Quali sono buoni esempi di prove non relativizzabili, del tipo che dovrebbe essere una prova P = …

13 cc.complexity-theory lo.logic computability p-vs-np relativization

1

Trovare il percorso più breve in presenza di cicli negativi

Dato un grafico ciclico diretto in cui il peso di ciascun bordo può essere negativo, il concetto di "percorso più breve" ha senso solo se non ci sono cicli negativi, e in tal caso è possibile applicare l'algoritmo Bellman-Ford. Tuttavia, sono interessato a trovare il percorso più breve tra due …

13 ds.algorithms graph-algorithms shortest-path

1

La chiamata / cc di Scheme può implementare tutte le strutture di flusso di controllo conosciute?

La pagina "Advanced Scheme: Some Naughty Bits" indica: Le continuazioni sono un potente costrutto del flusso di controllo dal quale è possibile derivare quasi ogni altra struttura [...] del flusso di controllo. Ho pensato che Scheme call/cc, essendo correlato (*) all'operatore J di Peter Landin, potesse essere usato per implementare …

13 lambda-calculus denotational-semantics scheme operational-semantics

2

Perché lo stato di un FSM è tradizionalmente indicato con ?

Mentre insegnavo come implementare gli FSM usando circuiti logici sincroni, ho notato una coincidenza intrigante: sia nel mondo teorico CS, sia nel mondo dell'ingegneria elettrica, "stato" è tipicamente indicato con (e lo spazio di stato ). Ho chiesto prima su EE.sx , ma poi mentre cercavo un po 'questo argomento, …

13 automata-theory ho.history-overview

5

Perché l'apprendimento automatico non può riconoscere i numeri primi?

Supponiamo di avere una rappresentazione vettoriale di qualsiasi numero intero di magnitudine n, V_n Questo vettore è l'input di un algoritmo di apprendimento automatico. Prima domanda: per quale tipo di rappresentazione è possibile apprendere la primalità / la composizione di n usando una rete neurale o qualche altra mappatura ML …

13 co.combinatorics machine-learning primes

4

Il vertice di feedback imposta il problema sui grafici dei gradi limitati planari è difficile?

È noto se il vertice di feedback pone il problema sui grafici planari non orientati di grado limitato è -hard?N PNP\mathsf{NP}

13 cc.complexity-theory reference-request graph-algorithms np-hardness

3

Un'estensione del limite di Chernoff

Sto cercando un riferimento (non una prova, che posso fare) alla seguente estensione di Chernoff. Lasciate X1, . . , XnX1,..,XnX_1,..,X_n essere variabili casuali booleane, non necessariamente indipendenti . Invece, è garantito che Pr ( Xio= 1 | C) < pPr(Xi=1|C)<pPr(X_i=1|C)(1+\lambda)np\right) Grazie in anticipo!

13 reference-request pr.probability chernoff-bound

1

Perché queste due definizioni di PPAD sono equivalenti?

La classe di complessità PPAD è generalmente definita affermando che End-Of-The-Line è PPAD completo. End-Of-The-Line è un problema di ricerca. L'input è costituito da un grafico diretto in cui ogni nodo ha in-gradi e out-gradi al massimo 1. Il grafico è dato da una funzione calcolabile a tempo polinomiale che …

13 cc.complexity-theory complexity-classes ppad

3

Un gioco su più grafici

Considera il gioco seguente su un grafico ponderato diretto con un chip su un nodo.GGG Tutti i nodi di sono contrassegnati da A o B.GGG Ci sono due giocatori Alice e Bob. L'obiettivo di Alice (Bob) è di spostare il chip su un nodo contrassegnato da A (B). Inizialmente Alice …

13 cc.complexity-theory complexity-classes gt.game-theory

1

Riduzione deterministica dell'errore, all'avanguardia?

Supponiamo che uno abbia un algoritmo randomizzato (BPP) AAA usa rrr bit di casualità. I modi naturali per amplificare la sua probabilità di successo a 1−δ1−δ1-\delta , per qualsiasi δ>0δ>0\delta>0 scelto , sono Piste indipendenti + maggioranza: eseguire AAA autonomo T=Θ(log(1/δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta) . Volte, e prendere il voto della maggioranza delle …

12 reference-request randomness pseudorandomness expanders

1

Numero di 4 cicli

Sia C4C4C_4 un ciclo con quattro vertici. Per un grafico arbitrario solGG con nnn vertici e bordi di m, dire m > n n--√m>nnm>n\sqrt n , quantiC4C4C_4esistono? C'è un limite inferiore per questo?

12 graph-theory graph-minor

3

Sentirsi insoddisfatti dopo ogni presentazione

Sono uno studente universitario di terzo anno presso un'università "top 20" che lavora su una complessità a grana fine (molti giocano con 3-SUM, OV e le solite congetture popolari sulla durezza). Sono stato abbastanza produttivo nell'ultimo anno circa e ho 3 documenti accettati e due documenti inviati. Tutto ciò per …

12 soft-question

1

Quanto può essere piccolo un circuito booleano a strati per una funzione con complessità del circuito

Considera una funzione calcolata da un circuito booleano C con n ingressi di dimensione s ( n ) = p o l y ( n ) sulla base { X O R , A N D , N O T } (con indegree 2 per la X O R , …

12 circuit-complexity circuits