Domande taggate «reference-request»

La richiesta di riferimento viene utilizzata quando l'autore deve conoscere il lavoro correlato alla domanda.

3
Scambia tra tempo e complessità delle query
Lavorare direttamente con complessità temporale o limiti inferiori del circuito è spaventoso. Quindi, sviluppiamo strumenti come la complessità della query (o la complessità dell'albero decisionale) per ottenere una gestione sui limiti inferiori. Poiché ogni query richiede almeno un passaggio unitario e i calcoli tra le query vengono considerati gratuiti, la …
3
Generalizzazioni del metodo di Brzozowski di derivati ​​delle espressioni regolari alle grammatiche?
Il metodo dei derivati ​​di Brzozowski è una tecnica molto carina per costruire automi deterministici da espressioni regolari in modo piacevolmente algebrico. Ho elaborato alcune generalizzazioni carine di questa tecnica per gestire alcune classi più grandi di grammatiche, ma gli algoritmi sono abbastanza semplici da sembrare abbastanza possibili che siano …
1
La struttura dati quad-edge (Delaunay / Voronoi)
2 domande per i geometri computazionali o algebristi: Sto appena iniziando ad immergermi nella geometria computazionale e lo adoro =) Sto tentando di leggere il famoso articolo di Guibas e Stolfi intitolato "Primitivi per la manipolazione di suddivisioni generali e il calcolo dei diagrammi di Voronoi" al fine di implementare …
1
Puzzle con bastoncini da taglio
Problema: ci viene fornito un set di stick tutti con lunghezza intera. La somma totale delle loro lunghezze è n (n + 1) / 2. Possiamo romperli per ottenere bastoncini di dimensioni in tempo polinomiale? 1 , 2 , … , n1,2,...,n{1,2,\ldots,n} Sorprendentemente, l'unico riferimento che trovo per questo problema …
1
Uno spazio topologico legato al SAT: è compatto?
Il problema della soddisfazione è, ovviamente, un problema fondamentale nella CS teorica. Stavo giocando con una versione del problema con infinite variabili. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configurazione di base. Sia XXX un insieme di variabili non vuoto e forse infinito . Un letterale è una variabile x ∈ XX∈Xx \in X o …
5
Perché gli economisti dovrebbero preoccuparsi della complessità computazionale
Quando si cerca di convincere gli economisti della rilevanza della teoria della complessità nella stampa, c'è un riferimento standard da citare? Conosco il post sul blog di Noam Nisan , l'indagine di Tim Roughgarden e il capitolo 11 del saggio di Scott Aaronson . Questi post sono accessibili agli informatici, …
3
Algoritmi costruttivamente efficienti senza efficiente correttezza e prova di efficienza
Sto cercando esempi naturali di algoritmi efficienti (cioè in tempi polinomiali) st la loro correttezza ed efficienza possono essere dimostrate in modo costruttivo (ad es. in o ), maPR APRUNPRAHUNHUNHA non è nota alcuna prova che utilizza solo concetti efficienti (ovvero non sappiamo come dimostrarne la correttezza e l'efficienza in …
1
Il PRIMEGAME di Conway genera tutti i poteri primi di 2?
La maggior parte dei siti che ho visitato leggendo questo interessante argomento affermano qualcosa di simile "gli unici poteri di due (diversi da 2) che si verificano in questa sequenza sono quelli con esponente principale" (MathWorld) o "Dopo 2, questa sequenza contiene i seguenti poteri di 2: [...] che sono …
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.