L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

3
2-SAT avec XOR-relations NP-complet?
Je me demande s'il existe un algorithme polynomial pour "2-SAT avec relations XOR". Les deux 2-SAT et XOR-SAT sont en P, mais est-ce que sa combinaison? Exemple d'entrée: Partie 2-SAT: (a or !b) and (b or c) and (b or d) Partie XOR: (a xor b xor c xor 1) …
1
Pourquoi cet argument pour faux?
Je sais que c'est idiot, mais j'ai réussi à me confondre et j'ai besoin d'aide pour régler ça Supposons que , alors clairement pour chaque oracle nous avons qui contredit le fait qu'il existe un oracle pour lequel , d'oùP= NPP=NPP=NPUNEUNEAPUNE= NPUNEPUNE=NPUNEP^A=NP^AUNEUNEAPUNE≠ NPUNEPUNE≠NPUNEP^A\neq NP^AP≠ NPP≠NPP\neq NP Qu'est-ce qui ne va …
1
Générez des réseaux sans échelle avec des distributions de degrés de loi de puissance en utilisant Barabasi-Albert
J'essaie de reproduire les réseaux synthétiques (graphiques) décrits dans certains articles. Il est indiqué que le modèle de Barabasi-Albert a été utilisé pour créer des "réseaux sans échelle avec des distributions de degrés de loi de puissance, PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} ". PAPAP_A est une distribution de probabilité qui renvoie la …
6
Des problèmes indécidables limitent les théories physiques
L'existence de problèmes indécidables implique-t-elle immédiatement la non-prévisibilité des systèmes physiques? Considérons le problème de l'arrêt, d'abord nous construisons un UTM physique, disons en utilisant la construction basée sur un circuit habituel. Il ne peut alors y avoir aucune théorie physique décidable qui puisse déterminer, compte tenu de n'importe quel …
1
Qu'est-ce que
Je regarde le calcul des constructions et sa place dans le Lambda Cube . Si je comprends bien, chaque axe du cube peut être considéré comme ajoutant une autre opération impliquant des types au calcul simplement typé, . Le premier axe ajoute des opérateurs de type à terme, les seconds …
5
Pourquoi la conception du système d'exploitation est-elle en mesure de réduire la consommation d'énergie?
J'ai lu que les systèmes d'exploitation comme Android et iOS sont en quelque sorte optimisés pour améliorer la durée de vie de la batterie. Ma compréhension est qu'un CPU exécute un certain nombre d'opérations dans un certain temps, donc je pense que vous pouvez accélérer les applications en réduisant le …
2
Qu'est-ce qu'un algorithme d'approximation à deux critères?
Qu'est-ce qu'un algorithme d'approximation à deux critères? Cela continue de se produire dans le cas du clustering de flux de données. Est-ce lié à l'optimisation multi-objectifs? C'est là que je l'ai rencontré: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. L'article porte sur une version en streaming de l'algorithme k-means. Il y a des références dans l'article …
2
Mise en œuvre de structure de données immuable (persistante) de type tableau avec indexation rapide, ajout, pré-ajout, itération
Je recherche une structure de données persistante similaire à un tableau (mais immuable), permettant des opérations d'indexation, d'ajout, de pré-ajout et d'itération rapides (bonne localité). Clojure fournit un vecteur persistant, mais ce n'est que pour un ajout rapide. Le vecteur de Scala a effectivement un ajout et un pré-ajout à …
3
Livre d'introduction sur la logique et le calcul
Pouvez-vous me donner quelques suggestions sur un bon livre d'introduction (mais complet) sur la logique et le calcul? Voici quelques sujets flous auxquels je pense: Presburger artihm., PA, ZF, ZFC, HOL Théorie des ensembles, Théorie des types Modélisation du calcul (machines de Turing) dans différentes théories Liens avec la complexité …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.