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 …
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 …
Durante il tentativo di risolvere un problema, ho finito per esprimere parte di esso come il seguente programma lineare intero. Qui sono tutti numeri interi positivi indicati come parte dell'input. Un sottoinsieme specificato delle variabili è impostato su zero e il resto può assumere valori integrali positivi:x i jℓ , …
Di recente, stavo esaminando un'introduzione agli algoritmi olografici. Mi sono imbattuto in alcuni oggetti combinatori chiamati Pfaffians. Non so molto su quelli al momento e mi sono imbattuto in alcuni usi sorprendenti a cui possono essere sottoposti. Ad esempio, sono venuto a sapere che possono essere utilizzati per contare in …
Durante l'esplorazione di diverse tecniche per dimostrare limiti inferiori per gli algoritmi distribuiti, mi è venuto in mente che la seguente variante del teorema di Ramsey potrebbe avere applicazioni, se fosse vera. Parametri: , K , n sono indicati e quindi N è scelto per essere sufficientemente grande. Terminologia: un …
Esistono due tipi principali di errori del processore nei modelli di calcolo distribuito: (1) Errori di arresto anomalo: un processore si arresta e non si riavvia mai più. (2) Fallimenti bizantini: i processori si comportano in modo avverso, malizioso. La mia domanda è: Quali sono alcuni altri tipi di guasti …
Il problema del gossip nei sistemi distribuiti è il seguente. Abbiamo un grafico con n vertici. Ogni vertice v ha un messaggio m v che deve essere inviato a tutti i nodi.GGGnnnvvvmvmvm_v Ora, la mia domanda è nel contesto del modello di rete ad hoc (supponiamo che un nodo non …
La domanda Cosa c'è di nuovo nelle strutture di dati puramente funzionali da Okasaki? e l'epica risposta di jbapple, menzionata usando liste di differenze nella programmazione funzionale (al contrario della programmazione logica), che è qualcosa che mi ha interessato di recente. Questo mi ha portato a trovare l' implementazione delle …
È noto che determinare se una data 3 varietà triangolata sia o meno una 3 sfera si trova in NP, tramite il lavoro di Saul Schleimer nel 2004: "Il riconoscimento della sfera si trova in NP" arXiv: math / 0407047v1 [math.GT] . Mi chiedo se questo è stato stabilito per …
Background: nell'apprendimento automatico, spesso lavoriamo con modelli grafici per rappresentare funzioni di densità di probabilità ad alta dimensione. Se scartiamo il vincolo che una densità integra (sommando) a 1, otteniamo una funzione energetica strutturata con grafi non normalizzata . Supponiamo di avere una tale funzione energetica, , definita su un …
Si dice che due alberi di ricerca binari siano linearmente equivalenti quando concordano nei loro attraversamenti in ordine. Il seguente teorema spiega perché le rotazioni degli alberi sono così fondamentali: Lascia che A e B siano alberi di ricerca binari. Quindi A e B sono linearmente equivalenti se e solo …
È facile verificare che, data la griglia dimensionale d dei punti interi , con l'adiacenza regolare, si può trovare un separatore di dimensioni n d - 1 (basta selezionare un iperpiano centrale e rimuovere tutto i suoi vertici). Inoltre, non è troppo difficile (ma sicuramente non immediato) verificare che qualsiasi …
È noto grazie a Immerman e Szelepcsényi che se f = Ω ( log ) (anche per funzioni non spaziali costruibili).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Nello stesso documento, Immerman afferma che la gerarchia alternata dello spazio dei registri collassa, ciò significa che (la definizione della turing machine alternata limitata e di ciò …
La larghezza dell'albero e la larghezza del percorso sono parametri popolari, che misurano rispettivamente la vicinanza di un grafico a un albero o un percorso. In effetti, sembra che la larghezza degli alberi sia così popolare che è presente in molti articoli, libri e appunti di lezioni che offrono (anche …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.