Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

6
Qualche problema algoritmico ha una complessità temporale dominata dal conteggio?
Quello che mi riferisco al conteggio è il problema che consiste nel trovare il numero di soluzioni per una funzione. Più precisamente, data una funzione f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (non necessariamente black-box), approssimativo #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. Sto cercando problemi algoritmici che implicano una sorta di conteggio e per i quali …
2
Relazione tra parametro fisso e algoritmo di approssimazione
Parametri e approssimazioni fissi sono approcci totalmente diversi per risolvere problemi difficili. Hanno motivazioni diverse. L'approssimazione cerca risultati più rapidi con una soluzione approssimativa. Il parametro fisso cerca una soluzione esatta con complessità temporale in termini dell'esponenziale o qualche funzione di k e la funzione polinomiale di n dove n …
1
Asintotici per cambio moneta
Dato nnn denominazioni di monete, con c1=1c1=1c_1=1 e c2&lt;c3&lt;..&lt;cnc2&lt;c3&lt;..&lt;cnc_2<c_3<..<c_{n} essendo numeri casuali distribuiti uniformemente nell'intervallo [2,N][2,N][2,N] . Asintoticamente, per quale frazione di monete l'algoritmo avido genera un cambiamento ottimale usando questo insieme di denominazioni? La risposta è nota per 3 denominazioni ; ma per quanto riguarda il caso generale?
4
Rilassamento LP di set indipendente
Ho provato il seguente rilassamento LP del massimo set indipendente max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 Ottengo per ogni variabile per ogni grafico cubico non bipartito che ho provato.1/21/21/2 È vero per tutti i grafici cubici non bipartiti collegati? Esiste il …
6
Quali sono le proprietà praticamente calcolabili dei sistemi di transizione etichettati?
Ho trovato che i sistemi di transizione etichettati sono un buon modello per la mia applicazione, in particolare c'è un documento sulla modellizzazione dei casi d'uso usando LTS. La domanda è: cosa può essere facilmente dimostrato sugli LTS? Vorrei riutilizzare le soluzioni esistenti per vedere se sono utili per la …
1
Quali lingue sono state bucate crittograficamente con successo?
Un'osservazione associata alla crittografia asimmetrica è che alcune funzioni (si ritiene siano) facili da eseguire in una direzione ma difficili da invertire. Inoltre, se esistono informazioni "botola" che consentono di calcolare rapidamente l'operazione inversa, il problema diventa un candidato per uno schema di crittografia a chiave pubblica. I classici problemi …
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.