Informatica teorica

2

Questa domanda può avere una risposta ovvia ... ma ecco comunque la domanda. Intuitivamente, è la seguente affermazione plausibile: "una macchina con una subroutine A che a sua volta ha una subroutine B è la stessa di una macchina con una subroutine A che ha accesso alla subroutine B". Per …

11 complexity-classes oracles

6

Le riduzioni multiple e le riduzioni di Turing definiscono lo stesso NPC di classe

Mi chiedo se le classi NPC definite da riduzioni multiple e riduzioni di Turing siano uguali. Modifica: Un'altra domanda, sono le riduzioni di Turing che collassano solo le classi C e co-C per alcune C o c'è una classe come esiste un problema non in sotto riduzione Karp e che …

11 cc.complexity-theory np-hardness reductions

2

La corrispondenza massima M con la condizione G [M] è libera da 2K_2

C'è qualcosa in letteratura vicino al seguente problema: Dato un grafico bipartito con bipartizione bilanciata { U , W } , esiste una corrispondenza perfetta M in G tale che per ogni 2 bordi u 1 w 1 , u 2 w 2 ∈ M , c'è un bordo u …

11 matching

5

Funzioni sottomodulari: richiesta di riferimento

Sarei molto interessato ai riferimenti alla teoria delle funzioni sottomodulari (dalle basi alle avanzate). In particolare, sto studiando approssimazioni a difficili problemi di ottimizzazione e voglio sviluppare le mie basi nelle funzioni sottomodulari in quanto sono rilevanti per i problemi di ottimizzazione che ho studiato. Grazie in anticipo.

11 ds.algorithms reference-request approximation-algorithms optimization

2

"Parenti" del problema del percorso più breve

Considera un grafico non orientato collegato con pesi dei bordi non negativi e due vertici distinti s,ts,ts,t . Di seguito sono riportati alcuni problemi di percorso che sono tutti della seguente forma: trovare un percorso s−ts−ts-t , in modo tale che alcune funzioni dei pesi dei bordi sul percorso siano …

10 graph-theory graph-algorithms np-complete polynomial-time

1

Robin Gandy, studente di Alan Turing, ha affermato che Charles Babbage non aveva idea di una macchina informatica universale?

Robin Gandy era uno studente di Alan Turing . Gandy fece un'analisi del motore analitico di Babbage (vedi "Gandy - La confluenza delle idee nel 1936" citato in "Herken, Rolf - The Universal Turing Machine - A Half-Century Survey . Springer Verlag") - e disse che lo fece (cfr. pagg. …

10 turing-machines universal-computation charles-babbage

1

Isomorfismo grafico efficiente per query grafiche simili

Dato il grafico G1, G2 e G3, vogliamo eseguire il test di isomorfismo F tra G1 e G2, nonché G1 e G3. Se G2 e G3 sono molto simili in modo tale che G3 si formi eliminando un nodo e inserendo un nodo da G2, e abbiamo il risultato di …

10 graph-theory graph-algorithms graph-isomorphism

1

Quanto è difficile decidere l'esistenza del perfetto abbinamento rosso-blu?

Il problema della corrispondenza perfetta bicolore è decidere se un grafico ha una colorazione con due colori in modo tale che ogni nodo abbia esattamente un vicino dello stesso colore di se stesso. Schaefer ha dimostrato che il problema era NP-completo . Rimane NP-completo anche per i grafici cubi planari. …

10 cc.complexity-theory np-hardness

1

Un ostacolo come ETH

Sappiamo che in non possiamo risolvere -SUM in in nessuna funzione (di solito ).ETHETHETHKKKf( K) p o l y( n K)f(K)poly(nK)f(K)poly(nK)f( K)f(K)f(K)2O ( K)2O(K)2^{O(K)} C'è qualche congettura che impedisce una complessità (questo è del tutto coerente con la possibilità come abbiamo bisogno di tempo esponenziale per la somma del sottoinsieme) …

10 cc.complexity-theory subset-sum

1

P e complessità descrittiva

Nel Complexity Zoo, si dice [ 1 ] che, nella complessità descrittiva, può essere definito da tre diversi tipi di formule, che è anche , e anche come .PPPFO(LFP)FO(LFP)FO(LFP)FO(nO(1))FO(nO(1))FO(n^{O(1)})SO(HORN)SO(HORN)SO(HORN) Tuttavia, ci sono alcune eccezioni, ad esempio, non può essere espressa da FP (FP ha la stessa potenza espressiva con LFP). …

10 lo.logic polynomial-time descriptive-complexity

2

Intuizione dietro positività rigorosa?

Mi chiedo se qualcuno possa darmi l'intuizione dietro perché la rigida positività dei tipi di dati induttivi garantisce una forte normalizzazione. Per essere chiari, vedo come avere eventi negativi porti a divergenze, cioè definendo: data X where Intro : (X->X) -> X possiamo scrivere una funzione divergente. Ma mi chiedo, …

10 reference-request pl.programming-languages type-theory type-systems dependent-type

1

La teoria algoritmica dell'informazione si sta ancora evolvendo?

Attualmente sto cercando un argomento per una tesi e ho incontrato il campo della teoria dell'informazione algoritmica. Il campo mi sembra molto interessante, ma sembra che tutto sia finito prima di molti anni. Quindi la mia domanda è: il campo è "vivo" o è praticamente chiuso? Ha domande aperte? Grazie

10 cc.complexity-theory it.information-theory

1

Classi di complessità del circuito lineare

La classe è la funzione di classe calcolabile dalle famiglie di circuiti di fan-in limitato, dimensione e profondità . La gerarchia è l'unione di quelle classi.NCioNCio\textrm{NC}^inO ( 1 )nO(1)n^{O(1)}O ( logio( n ) )O(logio⁡(n))O(\log^i(n))NCNC\textrm{NC} C'è qualche studio sulla variante lineare di questa gerarchia? Queste sono le famiglie di circuiti di …

10 cc.complexity-theory circuit-complexity

1

Qual è la complessità di questo gioco?

Questa è una generalizzazione della mia domanda precedente . Lasciate che sia una macchina deterministica polinomiale in grado di porre domande ad alcuni oracolo . Inizialmente è vuoto ma questo può essere cambiato dopo una partita che verrà descritta di seguito. Lascia che sia una stringa.MMMAAAAAAxxx Considera il seguente gioco …

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

1

Tecniche di prova per dimostrare che il controllo del tipo dipendente è decidibile

Sono in una situazione in cui devo dimostrare che il controllo del tipo è decidibile per un calcolo tipicamente dipendente sul quale sto lavorando. Finora sono stato in grado di dimostrare che il sistema si sta fortemente normalizzando, e quindi che l'uguaglianza di definizione è decidibile. In molti riferimenti che …

10 reference-request pl.programming-languages type-theory dependent-type typed-lambda-calculus