Search results for "computational complexity"

showing 10 items of 249 documents

Symmetry-assisted adversaries for quantum state generation

2011

We introduce a new quantum adversary method to prove lower bounds on the query complexity of the quantum state generation problem. This problem encompasses both, the computation of partial or total functions and the preparation of target quantum states. There has been hope for quite some time that quantum state generation might be a route to tackle the $backslash$sc Graph Isomorphism problem. We show that for the related problem of $backslash$sc Index Erasure our method leads to a lower bound of $backslash Omega(backslash sqrt N)$ which matches an upper bound obtained via reduction to quantum search on $N$ elements. This closes an open problem first raised by Shi [FOCS'02]. Our approach is …

Discrete mathematicsQuantum PhysicsReduction (recursion theory)Informatique généraleOpen problemMultiplicative function0102 computer and information sciences01 natural sciencesUpper and lower boundsComputer Science - Computational ComplexityRepresentation theory of the symmetric group010201 computation theory & mathematicsQuantum state0103 physical sciencesGraph isomorphism010306 general physicsQuantumMathematics
researchProduct

A local complexity based combination method for decision forests trained with high-dimensional data

2012

Accurate machine learning with high-dimensional data is affected by phenomena known as the “curse” of dimensionality. One of the main strategies explored in the last decade to deal with this problem is the use of multi-classifier systems. Several of such approaches are inspired by the Random Subspace Method for the construction of decision forests. Furthermore, other studies rely on estimations of the individual classifiers' competence, to enhance the combination in the multi-classifier and improve the accuracy. We propose a competence estimate which is based on local complexity measurements, to perform a weighted average combination of the decision forest. Experimental results show how thi…

Clustering high-dimensional dataComputational complexity theorybusiness.industryComputer scienceDecision treeMachine learningcomputer.software_genreRandom forestRandom subspace methodArtificial intelligenceData miningbusinessCompetence (human resources)computerClassifier (UML)Curse of dimensionality2012 12th International Conference on Intelligent Systems Design and Applications (ISDA)
researchProduct

A Translation of Pseudo Boolean Constraints to SAT

2006

Research note; This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the produced formula can be exponentially related to the size of the input constraint, but some important classes of pseudo-Boolean constraints, including Boolean cardinality constraints, are encoded in polynomial time and size. The proposed encoding was integrated in a solver based on the zCha SAT solver and submitted to the PB05 evaluation. The results provide new perspectives in the field of full CNF approach of pseudo-Boolean constraints solving.

[SCCO.COMP] Cognitive science/Computer sciencepseudo-Boolean[ SCCO.COMP ] Cognitive science/Computer science[SCCO.COMP]Cognitive science/Computer scienceComputer Science::Computational ComplexitySAT translatio
researchProduct

Irrelevant Features, Class Separability, and Complexity of Classification Problems

2011

In this paper, analysis of class separability measures is performed in attempt to relate their descriptive abilities to geometrical properties of classification problems in presence of irrelevant features. The study is performed on synthetic and benchmark data with known irrelevant features and other characteristics of interest, such as class boundaries, shapes, margins between classes, and density. The results have shown that some measures are individually informative, while others are less reliable and only can provide complimentary information. Classification problem complexity measurements on selected data sets are made to gain additional insights on the obtained results.

Computational complexity theoryCovariance matrixComputer sciencebusiness.industryFeature extractionPattern recognitionArtificial intelligencebusinessMachine learningcomputer.software_genreClass (biology)computerClass separability2011 IEEE 23rd International Conference on Tools with Artificial Intelligence
researchProduct

An Improved Detection Technique for Cyclic-Prefixed OFDM

2010

A novel Orthogonal Frequency Division Multiplexing detection technique compatible to standard (e.g. Wireless LAN) transmitters is proposed. It features enhanced error-rate performance with flexible computational complexity and robustness to imperfect channel estimation. It is based on exploitation of the redundancy available in the cyclic prefix after cancellation of interference from the preceding block. In order to show the effectiveness of our proposal, an analysis of computational complexity and a number of comparisons to the standard per-subcarrier receiver and a previously existing method in terms of error rates are reported.

Computational complexity theoryLinear DetectionComputer Networks and CommunicationsOrthogonal frequency-division multiplexingComputer scienceSettore ING-INF/03 - TelecomunicazioniFrequency-selective channelCyclic prefixMaximum likelihood detectionSingle antenna interference cancellationRobustness (computer science)Maximum-Likelihood DetectionWireless lanStatisticsOrthogonal Frequency Division MultiplexingInterference CancellationAlgorithmComputer Science::Information Theory
researchProduct

Proving The Power Of Postselection

2011

It is a widely believed, though unproven, conjecture that the capability of postselection increases the language recognition power of both probabilistic and quantum polynomial-time computers. It is also unknown whether polynomial-time quantum machines with postselection are more powerful than their probabilistic counterparts with the same resource restrictions. We approach these problems by imposing additional constraints on the resources to be used by the computer, and are able to prove for the first time that postselection does augment the computational power of both classical and quantum computers, and that quantum does outperform probabilistic in this context, under simultaneous time an…

FOS: Computer and information sciencesTheoretical computer scienceComputer scienceComputationFOS: Physical sciencesContext (language use)0102 computer and information sciencesComputational Complexity (cs.CC)Computer Science::Computational Complexity01 natural sciencesTheoretical Computer Science0101 mathematicsQuantumQuantum computerQuantum PhysicsAlgebra and Number TheorySpacetime010102 general mathematicsProbabilistic logicQuantum PhysicsRange (mathematics)Computer Science - Computational ComplexityComputational Theory and Mathematics010201 computation theory & mathematicsPostselectionQuantum Physics (quant-ph)Information Systems
researchProduct

Energy Efficiency Optimization for Multi-cell Massive MIMO : Centralized and Distributed Power Allocation Algorithms

2021

This paper investigates the energy efficiency (EE) optimization in downlink multi-cell massive multiple-input multiple-output (MIMO). In our research, the statistical channel state information (CSI) is exploited to reduce the signaling overhead. To maximize the minimum EE among the neighbouring cells, we design the transmit covariance matrices for each base station (BS). Specifically, optimization schemes for this max-min EE problem are developed, in the centralized and distributed ways, respectively. To obtain the transmit covariance matrices, we first find out the closed-form optimal transmit eigenmatrices for the BS in each cell, and convert the original transmit covariance matrices desi…

Signal Processing (eess.SP)FOS: Computer and information sciencesmallintaminenComputational complexity theoryComputer scienceenergiatehokkuusComputer Science - Information TheoryMIMO02 engineering and technologyPrecoding0203 mechanical engineeringoptimointistatistical CSIalgoritmit0202 electrical engineering electronic engineering information engineeringFOS: Electrical engineering electronic engineering information engineeringOverhead (computing)Electrical and Electronic EngineeringElectrical Engineering and Systems Science - Signal Processingenergy efficiencymax-min fairnessInformation Theory (cs.IT)020206 networking & telecommunications020302 automobile design & engineeringmulti-cell MIMOCovarianceDistributed algorithmChannel state informationConvex optimizationdistributed processingAlgorithm
researchProduct

An Integrative Framework for the Construction of Big Functional Networks

2018

We present a methodology for biological data integration, aiming at building and analysing large functional networks which model complex genotype-phenotype associations. A functional network is a graph where nodes represent cellular components (e.g., genes, proteins, mRNA, etc.) and edges represent associations among such molecules. Different types of components may cohesist in the same network, and associations may be related to physical[biochemical interactions or functional/phenotipic relationships. Due to both the large amount of involved information and the computational complexity typical of the problems in this domain, the proposed framework is based on big data technologies (Spark a…

0301 basic medicinebiological networkBiological dataTheoretical computer scienceSettore INF/01 - InformaticaComputational complexity theoryComputer sciencebusiness.industryBig dataNoSQLcomputer.software_genreFunctional networks03 medical and health sciences030104 developmental biologyGraph (abstract data type)big data technologiesbig data technologiebusinesscomputerIntegrative approacheBiological network2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
researchProduct

Zero-Error Affine, Unitary, and Probabilistic OBDDs

2017

We introduce the affine OBDD model and show that zero-error affine OBDDs can be exponentially narrower than bounded-error unitary and probabilistic OBDDs on certain problems. Moreover, we show that Las Vegas unitary and probabilistic OBDDs can be quadratically narrower than deterministic OBDDs. We also obtain the same results by considering the automata versions of these models.

FOS: Computer and information sciencesComputer Science - Computational ComplexityQuantum PhysicsFormal Languages and Automata Theory (cs.FL)Computer Science::Logic in Computer ScienceFOS: Physical sciencesComputer Science - Formal Languages and Automata TheoryComputational Complexity (cs.CC)Computer Science::Computational ComplexityComputer Science::Artificial IntelligenceQuantum Physics (quant-ph)Computer Science::Databases
researchProduct

Recherche d'arbres couvrants complètement indépendants dans des graphes réguliers

2014

International audience; Nous étudions l'existence de $r$ arbres couvrants complètement indépendants dans des graphes $2r$-réguliers et $2r$-connexes, et énonçons des conditions nécessaires à leur existence. Nous déterminons le nombre maximum d'arbres dans les produits cartésiens d'une clique et d'un cycle. Nous montrons que ce nombre n'est pas toujours $r$.

[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC][ INFO.INFO-CC ] Computer Science [cs]/Computational Complexity [cs.CC][INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC]
researchProduct