Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

1
Validità dell'espiazione in una riduzione del tempo polinomiale
Ho fatto questa domanda 10 giorni fa su cs.stackexchange qui ma non avevo alcuna risposta. In un articolo molto famoso (nella comunità delle reti), Wang & Crowcroft presentano alcuni risultati di del calcolo del percorso sotto diversi vincoli additivi / moltiplicativi. Il primo problema è il seguente:NPNP\mathsf{NP} Dato un grafico …
2
(Come) Potremmo scoprire / analizzare i problemi NP in assenza del modello di calcolo di Turing?
Da un punto di vista matematico / di ragionamento puramente astratto (come) si potrebbe persino scoprire o ragionare su problemi come 3-SAT, somma dei sottoinsiemi, commesso viaggiatore ecc.? Saremmo ancora in grado di ragionare su di loro in modo significativo con il solo funzionale punto di vista? Sarebbe anche possibile? …
3
Lingue irriducibili
Questa non è necessariamente una domanda di ricerca. Solo una domanda per curiosità: Sto cercando di capire se si possono definire lingue "irriducibili". Come prima ipotesi, chiamo una lingua L "riducibile" se può essere scritta come con e , altrimenti chiamerei la lingua "irriducibile". È vero:L=A⋅BL=A⋅BL = A \cdot B| …
1
La programmazione dinamica non è mai più debole di Greedy?
Nella complessità del circuito, abbiamo separazioni tra potenze di vari modelli di circuito. Nella complessità della dimostrazione, abbiamo separazioni tra poteri di vari sistemi di dimostrazione. Ma nell'algoritmo, abbiamo ancora solo poche separazioni tra i poteri dei paradigmi algoritmici . Le mie domande che seguono mirano a toccare quest'ultimo problema …
3
Esempi di derandomizzazione riuscita da BPP a P
Quali sono alcuni esempi importanti di derandomizzazione riuscita o almeno progressi nel mostrare prove concrete verso l' obiettivo (non la connessione della casualità della durezza)?P= B PPP=BPPP=BPP L'unico esempio che mi viene in mente è il test deterministico della primalità temporale polinomiale dell'AKS (anche per questo c'era una metodologia che …
2
Dato un grafico libero di 4 cicli , possiamo determinare se ha un tempo di 3 cicli in tempo quadratico?
Il problema -cycle è il seguente:KKk Istanza: un grafico non orientato con vertici e fino a n \ scegli 2 spigoli.solsolGnnn( n2)(n2)n \choose 2 Domanda: esiste un KKk cycle (corretto) in solsolG ? Sfondo: per qualsiasi k fisso KKk, possiamo risolvere il ciclo 2 k2K2k nel tempo O ( n2)O(n2)O(n^2) …
2
Cosa si sa di questa variante TSP?
Questa domanda è stata precedentemente pubblicata in Exchange Science Stack Exchange qui . Immagina di essere un venditore ambulante di grande successo con clienti in tutto il paese. Per accelerare la spedizione, hai sviluppato una flotta di droni monouso, ciascuno con una portata effettiva di 50 chilometri. Con questa innovazione, …
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.