L'informatique

1

Comment partitionner un ensemble en un nombre donné de sous-ensembles disjoints soumis à certaines conditions?

On me donne un ensemble A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , un entier s⩽ks⩽ks\leqslant k et des entiers non négatifs aijaija_{ij} . Mon problème est de trouver sss sous - ensembles disjoints SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} tel que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; et |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} pour tous les i∈Sji∈Sji\in S_j et j=1,…,sj=1,…,sj=1,\ldots,s . Comment résoudre ce …

11 complexity-theory integer-programming

3

Abaissement automatique en déduisant le type

En java, vous devez explicitement transtyper afin de downcaster une variable public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child = (Apple)parent; …

11 object-oriented type-inference language-design

3

Existe-t-il des algorithmes d'exponentiation à matrice parallèle plus efficaces que la multiplication séquentielle?

Il faut trouver la puissance (entier positif) de la matrice des nombres réels. Il existe de nombreux algorithmes de multiplication matricielle efficaces (par exemple, certains algorithmes parallèles sont ceux de Cannon, DNS ), mais existe-t-il des algorithmes qui sont exactement destinés à trouver la puissance de la matrice et qui …

11 algorithms parallel-computing efficiency matrices numerical-algorithms

1

Pourquoi NP est-il dans EXPTIME?

Existe-t-il un moyen simple de comprendre pourquoi NP est dans EXPTIME? Il me semble a priori concevable qu'il pourrait y avoir un problème qui nécessite un temps super-exponentiel à résoudre, mais dont la solution pourrait être vérifiée en temps polynomial.

11 complexity-theory complexity-classes

1

Comment «Isabelle» (le prouveur de théorèmes) a-t-elle obtenu son nom?

Le titre dit tout, mais je suis curieux car il n'est pas évident de savoir comment un prouveur de théorème a été nommé «Isabelle». Était-il nommé d'après une personne? Je n'ai pas pu le découvrir par certaines recherches Google.

11 history automated-theorem-proving isabelle

3

Pourquoi les expressions régulières sont-elles définies avec l'union, la concaténation et les opérations en étoile?

Une expression régulière est définie récursivement comme uneaa pour certains, est une expression régulière,un ∈ Σa∈Σa \in \Sigma εε\varepsilon est une expression régulière, ∅∅\emptyset est une expression régulière, ( R1∪ R2)(R1∪R2)(R_1 \cup R_2) où et sont des expressions régulières est une expression régulière,R1R1R_1R2R2R_2 ( R1∘ R2)(R1∘R2)(R_1 \circ R_2) où et …

11 formal-languages regular-languages regular-expressions

1

Indexation dans une base de données de modèles - Solution Optimal Rubik's Cube de Korf

Comme projet amusant, j'ai travaillé sur une implémentation C # de Richard Korf - Trouver des solutions optimales pour le cube de Rubik en utilisant des bases de données de modèles. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf Je le fais fonctionner, j'essaie juste d'améliorer ma solution. Une chose que Korf glaçure dans son article est …

11 algorithms permutations

4

Pourquoi devons-nous échanger l'abstraction contre la vitesse?

Pourquoi les langues de haut niveau ne semblent-elles jamais atteindre des langues de niveau inférieur en termes de vitesse? Des exemples de langages de haut niveau seraient Python, Haskell et Java. Les langages de bas niveau seraient plus difficiles à définir, mais disons que C. Des comparaisons peuvent être trouvées …

11 programming-languages performance

1

Trouver une couverture minimale d'un sous-ensemble d'un produit cartésien fini par des produits cartésiens

Étant donné un sous-ensemble d'un produit cartésien de deux ensembles finis, je souhaite en trouver une couverture minimale par des ensembles qui sont eux-mêmes des produits cartésiens.I×JI×JI \times J Par exemple, étant donné un produit entre et J = { 1 , 2 , 3 } , je peux observer …

11 algorithms set-cover

3

Existe-t-il une preuve que les ordinateurs quantiques sont plus efficaces que les ordinateurs classiques?

L'algorithme de Shor est souvent utilisé comme argument. Il peut résoudre le problème de factorisation plus rapidement que n'importe quel algorithme connu pour les ordinateurs classiques. Pourtant, nous n'avons aucune preuve que les ordinateurs classiques ne peuvent pas également factoriser efficacement les entiers. Existe-t-il des ordinateurs quantiques de preuve réels …

11 algorithms efficiency quantum-computing

1

À quelle vitesse pouvons-nous calculer la taille de la correspondance maximale dans un graphique bipartite non pondéré?

Existe-t-il un moyen de calculer la taille d'une correspondance maximale dans un graphe biparti non pondéré plus efficacement (par exemple, plus rapidement) que de calculer une correspondance maximale? C'est un plan à long terme, mais c'est souvent un problème intéressant pour éviter des calculs jetables comme ceux-ci. Motivation Le problème …

11 algorithms graphs optimization matching bipartite-matching

3

Quelle est la différence entre les types de données abstraits et les objets?

Une réponse sur Programmers.SE caractérise un essai de Cook (les objets ne sont pas des ADT ) comme disant Les objets se comportent comme une fonction caractéristique sur les valeurs d'un type, plutôt que comme une algèbre. Les objets utilisent l'abstraction procédurale plutôt que l'abstraction de type Les ADT ont …

11 programming-languages object-oriented abstract-data-types

1

NP-dureté du revêtement avec des pièces rectangulaires (cycle de test Google Hash Code 2015)

La ronde de test Google Hash Code 2015 ( énoncé du problème ) a posé une question sur le problème suivant: entrée: une grille avec quelques carrés marqués, un seuil , une aire maximaleT ∈ N A ∈ NMMMT∈ NT∈NT \in \mathbb{N}A ∈ NA∈NA \in \mathbb{N} sortie: la plus grande …

11 complexity-theory reductions np-hard

3

Pourquoi utiliseriez-vous un moniteur au lieu d'un sémaphore?

J'assiste actuellement au cours de programmation simultanée dans mon université et nous avons récemment commencé à parler du concept d'un moniteur. Bien que je comprenne la nécessité de l'exclusion mutuelle, je ne comprends pas pourquoi j'utiliserais un moniteur pour cela. Si je comprends bien, un moniteur garantit que exactement un …

11 concurrency synchronization mutual-exclusion

2

Pourquoi le point le moins fixe (lfp) est-il important dans l'analyse de programme

J'essaie d'avoir une vue d'ensemble de l'importance du point le moins fixe (lfp) dans l'analyse de programme. Par exemple, l'interprétation abstraite semble utiliser l'existence de lfp. De nombreux documents de recherche sur l'analyse de programme se concentrent également fortement sur la recherche du point le moins fixe. Plus précisément, cet …

11 programming-languages finite-model-theory fixed-point