Informatica teorica

3

Complessità parametrizzata di Hitting Set in dimensione VC finita

Sono interessato alla complessità parametrizzata di quello che chiamerò il problema del Set di Colpi d-dimensionale: dato uno spazio (cioè un sistema / ipergrafo) S = (X, R) avente dimensione VC al massimo d e a intero positivo k, X contiene un sottoinsieme di dimensione k che colpisce ogni intervallo …

37 cc.complexity-theory cg.comp-geom set-cover parameterized-complexity vc-dimension

3

Spiegazione delle classi P e NP tramite lambda-calcolo

Nell'introduzione e nella spiegazione Classi di complessità P e NP spesso fornite tramite la macchina di Turing. Uno dei modelli di calcolo è il lambda-calcolo. Capisco, che tutti i modelli di calcolo sono equivalenti (e se possiamo introdurre qualcosa in termini di macchina di Turing, possiamo introdurlo in termini di …

36 cc.complexity-theory complexity-classes turing-machines lambda-calculus

4

Durezza di approssimazione senza teorema del PCP

Un'importante applicazione del teorema del PCP è che produce risultati di tipo "durezza di approssimazione". In alcuni casi relativamente più semplici si può dimostrare tale durezza senza PCP. Esiste tuttavia un caso in cui la durezza del risultato di approssimazione è stata dimostrata per la prima volta usando il teorema …

36 cc.complexity-theory approximation-hardness pcp

3

Le tecniche per dimostrare che il problema è nella durezza "limbo"

Dato un nuovo problema in NPNP\mathsf{NP} cui vera complessità è da qualche parte tra PP\mathsf{P} ed essere NP completo, ci sono due metodi che conosco che potrebbero essere usati per dimostrare che risolvere questo è difficile: Mostra che il problema è GI-completo (GI = Isomorfismo grafico) Dimostrare che il problema …

36 cc.complexity-theory np-hardness graph-isomorphism np-intermediate

3

Esiste un backup / sostituzione per lo zoo di complessità?

Questa è una domanda non tecnica, ma sicuramente rilevante per la comunità TCS. Se considerato inappropriato, sentiti libero di chiudere. Lo zoo della complessità pagina Web dello (http://qwiki.stanford.edu/index.php/Complexity_Zoo) è stata certamente di grande aiuto alla comunità TCS nel corso degli anni. Apparentemente è in calo da un po 'di tempo. …

36 cc.complexity-theory reference-request soft-question

6

Riviste con rapida revisione

Contesto: la motivazione di questa domanda è duplice. In primo luogo, vorrei ottenere alcuni fatti concreti per comprendere meglio il dibattito in corso su conferenze e riviste . In secondo luogo, se queste informazioni fossero disponibili da qualche parte, potrei prendere una decisione più informata quando invio documenti per la …

36 soft-question research-practice paper-review journals

6

Ti sei mai reso conto che non puoi risolvere i compiti che hai assegnato?

Questa domanda è rivolta alle persone che assegnano problemi: insegnanti, assistenti studenti, tutor, ecc. Questo mi è successo una manciata di volte nella mia carriera di 12 anni come professore: mi sono affrettato a assegnare alcuni problemi dal testo pensando "questo sembra buono". Poi in seguito ho capito che non …

36 soft-question teaching

4

Esiste una funzione hash per una raccolta (ad es. Multi-set) di numeri interi con buone garanzie teoriche?

Sono curioso di sapere se esiste un modo per memorizzare un hash di un set multiplo di numeri interi che abbia le seguenti proprietà, idealmente: Usa lo spazio O (1) Può essere aggiornato per riflettere un inserimento o una cancellazione nel tempo O (1) Due raccolte identiche (ovvero raccolte che …

36 ds.algorithms ds.data-structures hash-function

6

Complessità dell'algoritmo simplex

Qual è il limite superiore dell'algoritmo simplex per trovare una soluzione a un programma lineare? Come farei per trovare una prova per un caso del genere? Sembra che il caso peggiore sia se si deve visitare ciascun vertice che è . Tuttavia, in pratica l'algoritmo simplex funzionerà in modo significativamente …

36 ds.algorithms linear-programming simplex smoothed-analysis

3

Perché la casualità ha un effetto maggiore sulle riduzioni che sugli algoritmi?

Si ipotizza che la casualità non estenda la potenza degli algoritmi del tempo polinomiale, cioè è congetturata per trattenere. D'altra parte, la casualità sembra avere un effetto alquanto diverso sulla riduzione dei tempi polinomiali . Con il noto risultato di Valiant e Vazirani, S A T si riduce a U …

36 cc.complexity-theory reductions derandomization

3

Complessità della funzione esponenziale

Sappiamo che la funzione esponenziale sui numeri naturali non è calcolabile nel tempo polinomiale, perché la dimensione dell'output non è limitata polinomialmente nella dimensione degli input.exp( x , y) = xyexp⁡(x,y)=xy\exp(x,y) = x^y È questo il motivo principale della difficoltà di calcolare la funzione esponenziale o è esponenziale intrinsecamente difficile …

36 cc.complexity-theory nt.number-theory

8

Strumenti collaborativi per manichini / professori

Supponiamo che i coautori di due o più istituzioni diverse stiano scrivendo un documento in lattice e che vorrebbero fare di meglio che inviare ripetutamente e-mail bozze avanti e indietro. Si rendono conto di poter aprire gratuitamente un account Dropbox, condividere la password e sincronizzare la versione del documento sul …

36 soft-question research-practice software writing

7

Qual è il problema aperto più vecchio in TCS?

Questo problema è ispirato a questa domanda MO , che pensavo fosse molto interessante. Qual è il problema aperto più vecchio in TCS? Chiaramente questa domanda necessita di alcuni chiarimenti. Innanzitutto, cos'è TCS? Penso che l'esistenza di numeri dispari perfetti non sia TCS. Direi che il decimo problema di Hilbert …

36 soft-question open-problem ho.history-overview

9

Dati per testare algoritmi grafici

Sto cercando una fonte di enormi set di dati per testare l'implementazione di un algoritmo grafico. Fornire anche alcune informazioni sul tipo / distribuzione (ad esempio diretto / non diretto, semplice / non semplice, ponderato / non ponderato) dei grafici nella fonte, se noti.

36 ds.algorithms graph-theory ds.data-structures data-sets

13

Problema di decisione facile, problema di ricerca difficile

Decidere se esiste un equilibrio di Nash è facile (lo fa sempre); tuttavia, trovarne effettivamente uno è ritenuto difficile (è PPAD-Complete). Quali sono alcuni altri esempi di problemi in cui la versione della decisione è semplice ma la versione della ricerca è relativamente difficile (rispetto alla versione della decisione)? Sarei …

36 cc.complexity-theory big-list