Search results for " complexity."

showing 10 items of 603 documents

Efficient learning of regular expressions from good examples

1994

We consider the problem of restoring regular expressions from expressive examples. We define the class of unambiguous regular expressions, the notion of the union number of an expression showing how many union operations can occur directly under any single iteration, and the notion of an expressive example. We present a polynomial time algorithm which tries to restore an unambiguous regular expression from one expressive example. We prove that if the union number of the expression is 0 or 1 and the example is long enough, then the algorithm correctly restores the original expression from one good example. The proof relies on original investigations in theory of covering symbol sequences (wo…

Class (set theory)Theoretical computer scienceRegular languageRegular expressionInductive reasoningComputer experimentAlgorithmTime complexityExpression (mathematics)Symbol (chemistry)Mathematics
researchProduct

Knot Theory, Jones Polynomial and Quantum Computing

2005

Knot theory emerged in the nineteenth century for needs of physics and chemistry as these needs were understood those days. After that the interest of physicists and chemists was lost for about a century. Nowadays knot theory has made a comeback. Knot theory and other areas of topology are no more considered as abstract areas of classical mathematics remote from anything of practical interest. They have made deep impact on quantum field theory, quantum computation and complexity of computation.

Classical mathematicsPure mathematicsComputer scienceComputationCalculusJones polynomialQuantum field theoryMathematics::Geometric TopologyTime complexityPhysics::History of PhysicsTopology (chemistry)Quantum computerKnot theory
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

Overt and hidden complexity – Two types of complexity and their implications

2014

AbstractLinguistic complexity is the result of the two motivations of explicitness and economy. Most approaches focus on the exlpicitness side of complexity (overt complexity) but there is also an explicitness-oriented side to complexity (hidden complexity). The aim of the paper is to introduce hidden complexity as the neglected side of complexity and to discuss the issues of trade-offs, global complexity and equal complexity from a more encompassing perspective that integrates overt and hidden complexity.

Cognitive scienceCommunicationLinguistic sequence complexitybusiness.industryComputer sciencePerspective (graphical)PragmaticsbusinessLinguisticsFocus (linguistics)Poznan Studies in Contemporary Linguistics
researchProduct

MINIMALIST THEORY OF FICTION AND THE ICTHINKING® METHOD AS A BACKGROUND FOR NEW INSIGHTS TO AUTISM

2021

The standard approach to conceptual understanding in the case of autism uses the distinction of abstract versus concrete thinking. This approach has its benefits but fails to explain all features of language use. For example, some concepts change their meaning in different contexts in contrast to concepts that are more rigid in their uses, such as mathematical concepts. This idea has its background in Minimalist theory of fiction (MTF), a theory that considers ‘skills to use words’ essential for understanding fiction, contrasting with theories that require pretending or make believe to understand fiction. From this background, the theory of Integrative Complexity (IC), and the method animat…

Cognitive scienceEducational methodintegrative complexityfiktioIntegrative complexityPsychological interventionautismfictionMetacognitionContrast (statistics)merkitykset (semantiikka)medicine.diseasekäsitteetmetakognitiokielellinen kehitysautismimedicineAutismmentalisaatiokielipelitMeaning (existential)kognitiivinen kehitysPsychologymetacognitionmake.believeEuropean Journal of Special Education Research
researchProduct

Swarming Models for Facilitating Collaborative Decisions

2010

The paper highlights the computational power of swarming models (i.e., stigmergic mechanisms) to build collaborative support systems for complex cognitive tasks such as facilitation of group decision processes (GDP) in e-meetings. Unlike traditional approaches that minimize the cognitive complexity by incorporating the facilitation knowledge into the system, stigmergic coordination mechanisms minimize the complexity by providing the system with emergent functionalities that are shaped by the environment itself through the possibility to structure it in terms of high-level cognitive artefacts. This is illustrated by conducting a socio-simulation experiment for an envisioned collaborative sof…

Collaborative softwareElementary cognitive taskComputer Networks and CommunicationsComputer sciencebusiness.industryCognitive complexityCognitionStigmergyComputer Science ApplicationsComputational Theory and MathematicsHuman–computer interactionFacilitationSupport systemArtificial intelligencebusinessSocial simulationInternational Journal of Computers Communications & Control
researchProduct

Exceptional Configurations of Quantum Walks with Grover’s Coin

2016

We study search by quantum walk on a two-dimensional grid using the algorithm of Ambainis, Kempe and Rivosh [AKR05]. We show what the most natural coin transformation -- Grover's diffusion transformation -- has a wide class of exceptional configurations of marked locations, for which the probability of finding any of the marked locations does not grow over time. This extends the class of known exceptional configurations; until now the only known such configuration was the "diagonal construction" by [AR08].

CombinatoricsClass (set theory)Transformation (function)DiagonalQuantum walkComputer Science::Computational ComplexityGridMathematics
researchProduct

"Indexing structures for approximate string matching

2003

In this paper we give the first, to our knowledge, structures and corresponding algorithms for approximate indexing, by considering the Hamming distance, having the following properties. i) Their size is linear times a polylog of the size of the text on average. ii) For each pattern x, the time spent by our algorithms for finding the list occ(x) of all occurrences of a pattern x in the text, up to a certain distance, is proportional on average to |x| + |occ(x)|, under an additional but realistic hypothesis.

CombinatoricsCombinatorics on wordsPattern recognition (psychology)Search engine indexingAutomata theoryHamming distanceString searching algorithmApproximate string matchingTime complexityMathematics
researchProduct

Quantum Query Complexity of Boolean Functions with Small On-Sets

2008

The main objective of this paper is to show that the quantum query complexity Q(f) of an N-bit Boolean function f is bounded by a function of a simple and natural parameter, i.e., M = |{x|f(x) = 1}| or the size of f's on-set. We prove that: (i) For $poly(N)\le M\le 2^{N^d}$ for some constant 0 < d < 1, the upper bound of Q(f) is $O(\sqrt{N\log M / \log N})$. This bound is tight, namely there is a Boolean function f such that $Q(f) = \Omega(\sqrt{N\log M / \log N})$. (ii) For the same range of M, the (also tight) lower bound of Q(f) is $\Omega(\sqrt{N})$. (iii) The average value of Q(f) is bounded from above and below by $Q(f) = O(\log M +\sqrt{N})$ and $Q(f) = \Omega (\log M/\log N+ \sqrt{N…

CombinatoricsDiscrete mathematicsComplexity indexKarp–Lipton theoremBounded functionCircuit minimization for Boolean functionsCircuit complexityUpper and lower boundsPlanarity testingBoolean conjunctive queryMathematics
researchProduct

Almost Tight Bound for the Union of Fat Tetrahedra in Three Dimensions

2007

For any AND-OR formula of size N, there exists a bounded-error N1/2+o(1)-time quantum algorithm, based on a discrete-time quantum walk, that evaluates this formula on a black-box input. Balanced, or "approximately balanced," formulas can be evaluated in O(radicN) queries, which is optimal. It follows that the (2-o(1))th power of the quantum query complexity is a lower bound on the formula size, almost solving in the positive an open problem posed by Laplante, Lee and Szegedy.

CombinatoricsDiscrete mathematicsComputational complexity theoryOpen problemExistential quantificationQuantum algorithmQuantum walkComputational geometryUpper and lower boundsQuantum computerMathematics48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07)
researchProduct