Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Complessità del completamento di n-regine?
Il classico problema -queens chiede, dato un numero intero positivo , se esiste un array di numeri interi che soddisfa le seguenti condizioni:n Q [ 1 .. n ]nnnnnnQ[1..n]Q[1..n]Q[1..n] i1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le n per tuttiiii Q[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j] per tuttii≠ji≠ji\ne j Q[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne Q[j]-j per tuttii≠ji≠ji\ne j Q[i]+i≠Q[j]+jQ[i]+i≠Q[j]+jQ[i]+i \ne Q[j]+j …
3
Problemi in
Quali problemi sono noti appartengono a ma non sono noti a appartenere a ?PB P PBPP\mathsf{BPP}PP\mathsf P Più precisamente, sono interessato a problemi indipendenti , ovvero le cui derandomizzazioni non sono note per essere equivalenti. Ad esempio, è noto che la derandomizzazione della PIT e la fattorizzazione polinomiale multivariata sono …
7
Iscrizione non banale a NP
C'è un esempio di una lingua che si trova in NPNPNP , ma in cui non possiamo dimostrare questo fatto direttamente dimostrando che esiste una testimonianza polinomiale per l'appartenenza a questa lingua? Invece, il fatto che la lingua sia in NPNPNP sarebbe dimostrato riducendolo in un'altra lingua in NPNPNP , …
27 reductions  np 
2
Ragioni per credere
Questa domanda è stata migrata dallo Scambio di stack di Informatica perché è possibile rispondere a Scambio di stack di Informatica teorica. Migrato 6 anni fa . Sembra che molte persone credano che , in parte perché credono che il factoring non sia risolvibile con il tempo di polimerizzazione. (Shiva …
5
Ecologia ed evoluzione attraverso l'obiettivo algoritmico
Lo studio dell'ecologia e dell'evoluzione sta diventando sempre più matematico, ma la maggior parte degli strumenti teorici sembra provenire dalla fisica. Tuttavia, in molti casi i problemi hanno una natura molto discreta (si veda ad esempio SLBS00 ) e potrebbero beneficiare di una prospettiva informatica . Tuttavia, sono a conoscenza …
2
Decidere se un NC
Vorrei porre un caso speciale sulla domanda " Decidere se un determinato circuito NC 0 calcola una permutazione " di QiCheng che è stata lasciata senza risposta. Un circuito booleano viene chiamato circuito NC 0 k se ciascuna porta di uscita dipende sintatticamente dalla maggior parte delle k porte di …
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.