Informatica teorica

1

Complessità computazionale del problema delle 3 partizioni con numeri distinti

Questa domanda è correlata a una risposta che ho pubblicato in risposta a un'altra domanda. Il problema delle 3 partizioni è il seguente problema: Istanza : numeri interi positivi a 1 ,…, a n , dove n = 3m e la somma di n numeri interi è uguale a mB, …

23 cc.complexity-theory np-hardness

1

Cliquewidth of Almost Cographs

(Ho inviato questa domanda a MathOverflow due settimane fa, ma finora senza una risposta rigorosa) Ho una domanda sulle misure di larghezza del grafico di grafici semplici non indirizzati. È noto che le cographs (grafici che possono essere costruiti dalle operazioni di unione e complementazione disgiunte, a partire da vertici …

23 graph-theory co.combinatorics cliquewidth

5

Rettangoli di imballaggio in poligoni convessi ma senza rotazioni

Sono interessato al problema di impacchettare copie identiche di rettangoli (bidimensionali) in un poligono convesso (bidimensionale) senza sovrapposizioni. Nel mio problema non ti è permesso di ruotare i rettangoli e puoi supporre che siano orientati parallelamente agli assi. Ti sono appena date le dimensioni di un rettangolo e i vertici …

23 reference-request np-hardness cg.comp-geom optimization packing

16

Quali strumenti usi per fare presentazioni?

Mi chiedevo quali strumenti le persone in questo campo (informatica teorica) usano per creare presentazioni. Poiché gran parte dell'informatica non è solo scrivere articoli ma anche fare presentazioni, ho pensato che sarebbe stata una domanda delicata importante. Questo si ispira alla domanda precedente quali strumenti utilizzi per scrivere documenti . …

23 soft-question research-practice writing

3

Isomorfismo grafico e sottogruppi nascosti

Sto cercando di capire la relazione tra isomorfismo grafico e il problema nascosto sottogruppo. C'è un buon riferimento per questo?

23 cc.complexity-theory reference-request quantum-computing graph-isomorphism

6

Famiglie grafiche che dispongono di algoritmi temporali polinomiali per il calcolo del numero cromatico

Post aggiornato il 31 agosto : ho aggiunto un riepilogo delle risposte correnti sotto la domanda originale. Grazie per tutte le risposte interessanti! Naturalmente, tutti possono continuare a pubblicare nuovi risultati. Per quali famiglie di grafici esiste un algoritmo temporale polinomiale per calcolare il numero cromatico ?χ ( G )χ(G)\chi(G) …

23 ds.algorithms graph-theory co.combinatorics

3

Che cosa si sa delle soluzioni ai problemi di programmazione lineare intera sparsa?

Se ho un insieme di vincoli lineari in cui ogni vincolo ha al massimo (diciamo) 4 variabili (tutte non negative e con coefficienti {0,1} tranne una variabile che può avere un coefficiente -1), cosa si sa sulla soluzione spazio? Sono meno interessato a una soluzione efficiente (anche se per favore …

23 co.combinatorics integer-programming

1

Qual è lo stato del risultato dell'isomorfismo del grafico di Babai?

È passato più di un anno dalla sua ritrattazione e correzione di gennaio 2017. Ci sono novità? In caso contrario, è normale che la convalida impieghi così tanto tempo? Mi aspetterei che riceverebbe molta attenzione. Qualcuno di nota ha parlato per sostenere / dubitare del risultato quasi polinomiale?

23 cc.complexity-theory graph-isomorphism proofs

4

Quali prove ci sono che l'isomorfismo grafico non è in ?

Motivato dal commento di Fortnow sul mio post, Evidenza che il problema del grafico isomorfismo non è completo diNPNPNP , e dal fatto che è un candidato principale per il intermedio di (non completo o in ), sono interessato a prove note che non è in .GIGIGINPNPNPNPNPNPPPPGIGIGIPPP Una di queste …

23 cc.complexity-theory graph-isomorphism

2

Verifica se le lettere possono essere programmate per ottenere una parola in una lingua normale

Fisso un linguaggio regolare su un alfabeto , e considero il seguente problema che io chiamo la pianificazione lettera per . Informalmente, l'input mi dà lettere e un intervallo per ogni lettera (cioè una posizione minima e massima), e il mio obiettivo è quello di posizionare ogni lettera nel suo …

23 cc.complexity-theory np-hardness automata-theory regular-language scheduling

1

Per quale k è PLANAR NAE k-SAT in P?

Il problema Not All Equal -SAT (NAE k -SAT), dato un set C di clausole su un set X di variabili booleane in modo tale che ogni clausola contenga al massimo k letterali, chiede se esiste un'assegnazione di verità delle variabili tale che ogni clausola contiene almeno un vero e …

23 cc.complexity-theory reference-request np-hardness polynomial-time

4

Come verificare se un numero è un potere perfetto in tempi polinomiali

Il primo passo dell'algoritmo di test della primalità di AKS è verificare se il numero di input è una potenza perfetta. Sembra che questo sia un fatto ben noto nella teoria dei numeri poiché il documento non lo ha spiegato nei dettagli. Qualcuno può dirmi come farlo in tempo polinomiale? …

23 ds.algorithms nt.number-theory

2

Quali prove abbiamo per (e contro) congetture sui giochi unici?

Subhash Khot s' Unique Games Congettura è una delle aree di ricerca attivi in teoria della complessità. Quali prove abbiamo per questo? Quali prove abbiamo contro di esso?

23 cc.complexity-theory unique-games-conjecture

2

Le catene del cambio sono bicolore?

Per Indichiamo con la più piccolo elemento di .A ⊂ [ n ]A⊂[n]A\subset [n]un'ioaia_iiot hithi^{th}UNAA Per due insiemi di elementi , , diciamo che se per ogni .KkkA , B ⊂ [ n ]A,B⊂[n]A,B\subset [n]A ≤ BA≤BA\le Bun'io≤ bioai≤bia_i\le b_iioii Un ipergrafo Uniform è chiamato spostamento a catena se per …

23 co.combinatorics graph-colouring hypergraphs

2

Ci sono casi difficili di 3-SAT quando le clausole possono usare solo letterali che sono "vicini" tra loro?

Lascia che le variabili siano . La distanza tra due variabili è definita come d ( x a , x b ) = | a - b | . La distanza tra due letterali è la distanza tra le due variabili corrispondenti.X1, x2, x3. . . Xnx1,x2,x3...xnx_1 , x_2 , …

22 np-hardness sat