Informatica teorica cc.complexity-theory

1

Una colorazione planare impropria con una dimensione monocromatica

Rilassiamo un po 'la colorazione, ovvero permettiamo a un piccolo numero di vertici adiacenti di assegnare lo stesso colore. Un componente monocromatico è definito come un componente collegato nel sottografo indotto dall'insieme di vertici che ricevono lo stesso colore e la domanda è quella di chiedere il numero minimo di …

11 cc.complexity-theory graph-theory graph-colouring planar-graphs

2

Approssimabilità del problema di genere

Cosa si sa attualmente sull'approssimabilità del problema del genere? Una ricerca preliminare mi dice che un'approssimazione di fattore costante è banale per grafici sufficientemente densi ed è stato escluso un algoritmo di approssimazione . Queste informazioni sono aggiornate o sono noti limiti migliori?nϵnϵn^\epsilon

11 cc.complexity-theory approximation-hardness topological-graph-theory

2

Teoremi di gerarchia per la profondità del circuito

Che tipo di teoremi di gerarchia ci sono per la profondità del circuito? Dichiarazioni simili g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory circuit-complexity hierarchy-theorems circuit-depth

1

Ridondanza e struttura dei problemi computazionali

È opinione diffusa che alcuni problemi computazionali come l'isomorfismo dei grafi non possano essere NP-completi perché non possiedono abbastanza struttura o ridondanza per essere difficili dal punto di vista computazionale (NP-hard). Sono interessato alle diverse nozioni formali per la struttura dei problemi computazionali e le misure di ridondanza. Quali sono …

11 cc.complexity-theory graph-isomorphism

1

Meccanismo di accesso all'oracolo Ruzzo-Simon-Tompa

In un documento su relativizzante calcoli LOGSPACE, Ladner e Lynch costruiscono un oracolo rispetto al quale . Ci sono alcuni esempi più patologici in questa vena in letteratura. Ho letto alcuni articoli su classi spaziali relativizzate e uno degli strumenti principali in quest'area è il meccanismo di accesso all'oracolo Ruzzo-Simon-Tompa …

11 cc.complexity-theory complexity-classes circuit-complexity oracles relativization

2

Il problema di trovare operatori per soddisfare un elenco di variabili booleane NP è completo?

Questo è simile a SAT, tranne per il fatto che conosciamo l'assegnazione di ciascuna variabile, ma non conosciamo l'assegnazione di alcun operatore booleano. In tal caso, trovare l'assegnazione di ciascun operatore in modo che l'espressione valuti un determinato valore booleano sia un problema NPC? In realtà, mi chiedevo se trovare …

11 cc.complexity-theory np-hardness

2

Varianti dei teoremi del prodotto diretto

Un teorema del prodotto diretto, informalmente, afferma che calcolare istanze di una funzione f è più difficile che calcolare f una volta.kkkffffff I teoremi tipici del prodotto diretto (ad es. XOR Lemma di Yao) esaminano la complessità del caso medio e sostengono (molto approssimativamente) che non può essere calcolato da …

11 cc.complexity-theory circuit-complexity average-case-complexity

4

La programmazione 0-1 con un numero costante di vincoli è risolvibile polinomialmente?

È stato mostrato nel documento "Programmazione di numeri interi con un numero fisso di variabili" che le programmazioni di numeri interi con numero costante di vincoli (o variabili) sono risolvibili polinomialmente. Questo vale per la programmazione 0-1?

11 cc.complexity-theory integer-programming

1

Limiti inferiori per l'apprendimento nella query di appartenenza e nel modello di controesempio

Dana Angluin ( 1987 ; pdf ) definisce un modello di apprendimento con domande di appartenenza e domande di teoria (controesempi a una funzione proposta). Mostra che un linguaggio regolare che è rappresentato da un DFA minimo di stati è apprendibile in tempi polinomiali (dove le funzioni proposte sono DFA) …

11 cc.complexity-theory machine-learning lower-bounds lg.learning query-complexity

1

Partizione a 3 graffe per grafici di diametro fisso

Il problema della partizione a 3 cricche è il problema di determinare se i vertici di un grafico, diciamo , possano essere suddivisi in 3 cricche. Questo problema è NP-difficile con una semplice riduzione del problema della 3 colorabilità. Non è difficile vedere che la risposta a questo problema è …

11 cc.complexity-theory graph-theory np-hardness clique

3

P contiene lingue incomprensibili? (Wiki della community TCS)

Risposta: non nota Mille grazie a tutti coloro che hanno contribuito a perfezionare questa domanda e le definizioni ad essa associate. Le definizioni di questo wiki hanno fornito il punto di partenza per il più recente wiki di TCS " P contiene linguaggi la cui esistenza è indipendente da PA …

11 cc.complexity-theory complexity-classes turing-machines decidability

3

Confronto DAG efficiente su una rete

Nei sistemi di controllo di versione distribuito (come Mercurial e Git ) è necessario confrontare in modo efficiente i grafici aciclici diretti (DAG). Sono uno sviluppatore Mercurial e saremmo molto interessati a conoscere il lavoro teorico che discute della complessità temporale e di rete del confronto tra due DAG. I …

11 cc.complexity-theory dc.distributed-comp directed-acyclic-graph

1

Preelaborazione ottimale per determinati tipi di query

Supponiamo di avere un semigruppo con elementi . Il nostro obiettivo è calcolare i prodotti .(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j Nel loro articolo "Pre-elaborazione ottimale per la risposta a domande di prodotti online" Alon e Schieber dimostrano che possiamo rispondere a ciascuna di queste domande in quasi tutti i passaggi …

11 cc.complexity-theory graph-theory ds.data-structures

1

Qual è la complessità del conteggio del numero di soluzioni di un problema P-Space Complete? Che ne dici di classi di complessità superiore?

Immagino che si chiamerebbe # P-Space, ma ho trovato solo un articolo che ne parlava vagamente. Che ne dite della versione di conteggio dei problemi EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? C'è qualche lavoro precedente che si possa citare in merito a questo o qualsiasi tipo di inclusione o esclusione come il …

11 cc.complexity-theory complexity-classes counting-complexity pspace

1

Cosa sappiamo della transizione di fase dei problemi di # P-Complete?

Cosa si sa della transizione di fase nei problemi di # P-Complete? In particolare, esiste una transizione di fase diversa per # DNF-k-SAT e # CNF-k-SAT? Aggiornamento: Come sappiamo, c'è una transizione di fase in K-SAT casuale in cui la risoluzione del problema passa da facile a difficile e di …

11 cc.complexity-theory counting-complexity phase-transition

Domande taggate «cc.complexity-theory»