Informatica teorica

2

Disegnando grafici del numero di attraversamento limitato

Il teorema di Fáry afferma che un semplice grafico planare può essere disegnato senza incroci in modo che ogni bordo sia un segmento di linea retta. La mia domanda è se esiste un analogo teorema per i grafici del numero di attraversamento limitato . In particolare, possiamo dire che un …

9 graph-theory co.combinatorics planar-graphs

1

Qual è la classificazione di complessità della teoria dei portafogli in economia finanziaria?

Come tutti saprete, è in atto una caduta dalla crisi finanziaria del 2008. Stavo pensando a come la teoria della complessità si adattava a tutto ciò, quando mi sono reso conto che non conoscevo le classi di complessità di base relative all'economia finanziaria. Quindi la mia domanda è: qual è …

9 cc.complexity-theory gt.game-theory ce.computational-finance

3

Prove interattive tramite Postselection?

Definire il modello di calcolo MPostBQP identico al PostBQP, tranne per il fatto che consentiamo polinomialmente molte misurazioni di qubit prima della post-selezione e della misurazione finale. Possiamo fornire prove che indicano che MPostBQP è più potente di PostBQP? Definire MPostBQP [k] per consentire più cicli di misurazione e post-selezione …

9 cc.complexity-theory complexity-classes quantum-computing interactive-proofs

2

Soglia Cryptosystems completamente omomorfa

di recente, Craig Gentry ha pubblicato il primo schema di crittografia a chiave pubblica (nello spazio di testo in chiaro {0,1}) che è completamente omomorfo, il che significa che è possibile valutare in modo efficiente e compatto AND e XOR su testi crittografati senza conoscere la chiave di decrittazione segreta. …

9 cr.crypto-security circuit-complexity homomorphic-encryption

3

Vantaggi per le classi sintattiche e semantiche

Questo è un post separato da Conseguenze di UP uguale a NP , e anche una domanda di follow-up per le classi di complessità semantica e sintattica . Nel post sopra abbiamo appreso sulle classi semantiche e sintattiche . Dichiarato brevemente, quando una classe può essere caratterizzata come una classe …

9 cc.complexity-theory complexity-classes big-picture

5

Calcolo naturale basato su forze fondamentali

Esempi ben noti di calcolo ispirato al fenomeno naturale sono i computer quantistici e i computer DNA. Cosa si sa del potenziale e / o dei limiti dell'informatica con le leggi o la gravità di Maxwell? Cioè, incorporando le soluzioni "rapide" della natura alle equazioni di Maxwell o il problema …

9 computability machine-models physics natural-computing

1

Algoritmi potenti che sono troppo difficili da implementare: come essere sicuri che abbiano ragione?

Mi riferisco alla domanda qui: potenti algoritmi troppo complessi da implementare . Se un algoritmo è potente, ma troppo complesso da implementare, come puoi essere sicuro che l'algoritmo sia corretto? Senza l'implementazione non sarai in grado di testare l'algoritmo in uno scenario del mondo reale e un algoritmo così complesso …

9 ds.algorithms implementation

2

Informazioni su k-SAT (introduzione, limiti, metodi, ecc.)

Mi piacerebbe sapere dove posso rivolgermi per una buona e delicata introduzione a k-SAT (questo potrebbe essere per i matematici che potrebbero non avere una buona preparazione informatica). Mi piacerebbe anche conoscere articoli che potrebbero sondare o spiegare gli attuali metodi usati per risolvere k-SAT. Infine, sono interessato ai metodi …

9 reference-request sat survey

4

Perché gli automi con limiti lineari non sono così popolari come gli altri automi?

Nella mia esperienza, i linguaggi sensibili al contesto e gli automi limitati lineari sono spesso saltati o breezati in corsi di teoria della computabilità e sono persino esclusi da alcuni libri di testo notevoli, sebbene gli automi finiti e pushdown ricevano molta attenzione. Sicuramente ci deve essere una buona ragione …

9 computability fl.formal-languages automata-theory

1

NP-Durezza di un caso speciale di problema di imballaggio ortogonale

Lasciate un insieme di D forme rettangolari dimensionale. Per d ∈ { 1 , . . . , D } e v ∈ V , w d ( v ) ∈ Q + descrive la lunghezza di v nella dimensione d . La stessa notazione è utilizzato per il contenitore …

9 cc.complexity-theory reference-request np-hardness packing

3

Algoritmi per triangolazione poligonale

Ho avuto difficoltà a trovare algoritmo o articoli pubblicati sulla triangolazione del poligono autointersecante (anche poligono con struttura del foro). Qualcuno può guidarmi nella ricerca di articoli / algoritmi pubblicati, per favore? PS: qualcuno tagga questa domanda in modo appropriato per favore, non ho abbastanza punti reputazione per farlo.

9 ds.algorithms reference-request cg.comp-geom

1

Qualche formulazione SAT / SMT di VRP / VRPTW (TSP, Job-Shop-Scheduling)?

mi chiedo se ci sono approcci che formulano un Problema di routing del veicolo con Time-Windows ( VRPTW ) (come un problema di decisione) come un'istanza SAT / SMT? (alternativa: TSP) Ad esempio: "Esiste una soluzione valida per visitare tutti i clienti entro i tempi previsti con n = 10 …

9 ds.algorithms reference-request sat reductions tsp

3

Come posso generare casualmente alberi spanning ad altezza limitata?

Per un progetto a cui sto lavorando, dovrei generare alberi spanning casuali con altezza limitata. Fondamentalmente faccio quanto segue: 1) Genera un albero di spanning 2) Verifica la fattibilità, se fattibile tienilo. 1) Partendo da un albero di spanning minimo (di Prim o Kruskal) aggiungo un bordo inesistente e questo …

9 ds.algorithms graph-algorithms random-walks

2

Permutazioni unidirezionali senza botola

In breve: supponendo che esistano permutazioni a senso unico , possiamo costruirne una senza botola? Ulteriori informazioni: Una permutazione unidirezionale è una permutazione ππ\pi che è facile da calcolare, ma difficile da invertire (vedi il tag wiki della funzione unidirezionale per una definizione più formale). Di solito consideriamo le famiglie …

9 cr.crypto-security one-way-function

2

Estensioni del teorema di Ramsey: monocromatico ma diverso

Come seguito della mia precedente domanda , che è stata risolta da Hsien-Chih Chang, ecco un altro tentativo di trovare un'adeguata generalizzazione del teorema di Ramsey. (Non è necessario leggere la domanda precedente; questo post è autonomo.) Parametri: vengono indicati numeri interi 1≪d≪k≪n1≪d≪k≪n1 \ll d \ll k \ll n , …

9 reference-request co.combinatorics ramsey-theory