Dissertations / Theses on the topic 'Complexity theory'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Complexity theory.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Gomaa, Walid. "Model theory and complexity theory." College Park, Md. : University of Maryland, 2007. http://hdl.handle.net/1903/7227.
Full textThesis research directed by: Computer Science. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
Gopalakrishnan, K. S. "Complexity cores in average-case complexity theory." [Ames, Iowa : Iowa State University], 2009. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:1473222.
Full textBatista, Sandra Leonidas. "Martingales and complexity theory." Diss., Restricted to subscribing institutions, 2009. http://proquest.umi.com/pqdweb?did=1971757781&sid=1&Fmt=2&clientId=1564&RQT=309&VName=PQD.
Full textHansen, Claire Gwendoline. "Shakespeare and Complexity Theory." Thesis, The University of Sydney, 2015. http://hdl.handle.net/2123/13667.
Full textBöhler, Elmar. "Algebraic closures in complexity theory." [S.l.] : [s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=978707176.
Full textWebb, Paul, and Pam Austin. "Family Maths and Complexity Theory." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-81109.
Full textYamakami, Tomoyuki. "Average case computational complexity theory." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq28091.pdf.
Full textLee, Tae-Sik 1974. "Complexity theory in axiomatic design." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/29631.
Full textIncludes bibliographical references (p. 177-182).
During the last couple of decades, the term complexity has been commonly found in use in many fields of science, sometimes as a measurable quantity with a rigorous but narrow definition and other times as merely an ad hoc label. With an emphasis on pragmatic engineering applications, this thesis investigates the complexity concept defined in axiomatic design theory to avoid vague use of the term 'complexity' in engineering system design, to provide deeper insight into possible causes of complexity, and to develop a systematic approach to complexity reduction. The complexity concept in axiomatic design theory is defined as a measure of uncertainty in achieving a desired set of functional requirements. In this thesis, it is revisited to refine its definition. Four different types of complexity are identified in axiomatic design complexity theory: time-independent real complexity, time-independent imaginary complexity, time-dependent combinatorial complexity and time-dependent periodic complexity. Time-independent real complexity is equivalent to the information content, which is a measure of a probability of achieving functional requirements. Time-independent imaginary complexity is defined as the uncertainty due to ignorance of the interactions between functional requirements and design parameters. Time-dependent complexity consists of combinatorial complexity and periodic complexity, depending on whether the uncertainty increases indefinitely or occasionally stops increasing at certain point and returns to the initial level of uncertainty. In this thesis, existing definitions for each of the types of complexity are further elaborated with a focus on time-dependent complexity. In particular, time-dependent complexity is clearly defined using the concepts of time-varying system ranges and time-dependent sets of functional requirements.
(cont.) Clear definition of the complexity concept that properly addresses the causes of complexity leads to a systematic approach for complexity reduction. As techniques for reducing time-independent complexity are known within and beyond axiomatic design theory, this thesis focuses on dealing with time-dependent complexity. From the definition of time-dependent complexity, combinatorial complexity must be transformed into periodic complexity to prevent the uncertainty from growing unboundedly. Time-dependence of complexity is attributed to two factors. One is a time-varying system range and the other is a time-dependent set of functional requirements. This thesis shows that achieving periodicity in time-varying system ranges and maintaining functional periodicity of time-dependent sets of functional requirements prevent a system from developing time-dependent combinatorial complexity. Following this argument, a re-initialization concept as a means to achieve and maintain periodicity is presented. Three examples are drawn from different fields, tribology, manufacturing system, and the cell biology, to support the periodicity argument and illustrate the re-initialization concept.
by Taesik Lee.
Ph.D.
Colijn, Caroline. "Addressing complexity, exploring social change through chaos and complexity theory." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq43374.pdf.
Full textCausley, Trisha Kathleen. "Complexity and markedness in optimality theory." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape9/PQDD_0004/NQ41121.pdf.
Full textRajan, Angelique Chettiparamb. "Complexity theory and planning : methodological insights." Thesis, Cardiff University, 2005. http://orca.cf.ac.uk/55567/.
Full textLarsson, Erik. "Topological Lower Bounds in Complexity Theory." Thesis, KTH, Matematik (Avd.), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-161067.
Full textRowan-Button, Wendy Jane. "Method and metanota : exploring complexity theory." Thesis, University of Salford, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.402114.
Full textEickmeyer, Kord. "Randomness in complexity theory and logics." Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011. http://dx.doi.org/10.18452/16364.
Full textThis thesis is comprised of two main parts whose common theme is the question of how powerful randomness as a computational resource is. In the first part we deal with random structures which possess -- with high probability -- properties than can be exploited by computer algorithms. We then give two new deterministic constructions for such structures: We derandomise a randomised reduction due to Alekhnovich and Razborov by constructing certain unbalanced bipartite expander graphs, and we give a reduction from a problem concerning bipartite graphs to the problem of computing the minmax-value in three-player games. In the second part we study the expressive power of various logics when they are enriched by random relation symbols. Our goal is to bridge techniques from descriptive complexity with the study of randomised complexity classes, and indeed we show that our randomised logics do capture complexity classes under study in complexity theory. Using strong results on the expressive power of first-order logic and the computational power of bounded-depth circuits, we give both positive and negative derandomisation results for our logics. On the negative side, we show that randomised first-order logic gains expressive power over standard first-order logic even on structures with a built-in addition relation. Furthermore, it is not contained in monadic second-order logic on ordered structures, nor in infinitary counting logic on arbitrary structures. On the positive side, we show that randomised first-order logic can be derandomised on structures with a unary vocabulary and is contained in monadic second-order logic on additive structures.
Yang, Jing. "Designing Superior Evolutionary Algorithms via Insights From Black-Box Complexity Theory." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLX054/document.
Full textIt has been observed that the runtime of randomized search heuristics depend on one or more parameters. A number of results show an advantage of dynamic parameter settings, that is, the parameters of the algorithm are changed during its execution. In this work, we prove that the unary unbiased black-box complexity of the OneMax benchmark function class is $n ln(n) - cn pm o(n)$ for a constant $c$ which is between $0.2539$ and $0.2665$. This runtime can be achieved with a simple (1+1)-type algorithm using a fitness-dependent mutation strength. When translated into the fixed-budget perspective, our algorithm finds solutions which are roughly 13% closer to the optimum than those of the best previously known algorithms.Based on the analyzed optimal mutation strength for OneMax, we show that a self-adjusting choice of the number of bits to be flipped attains the same runtime (apart from $o(n)$ lower-order terms) and the same (asymptotic) 13% fitness-distance improvement over RLS. The adjusting mechanism is to adaptively learn the currently optimal mutation strength from previous iterations. This aims both at exploiting that generally different problems may need different mutation strengths and that for a fixed problem different strengths may become optimal in different stages of the optimization process.We then extend our self-adjusting strategy to population-based evolutionary algorithms in discrete search spaces. Roughly speaking, it consists of creating half the offspring with a mutation rate that is twice the current mutation rate and the other half with half the current rate. The mutation rate is then updated to the rate used in that subpopulation which contains the best offspring. We analyze how the $(1+lambda)$ evolutionary algorithm with this self-adjusting mutation rate optimizes the OneMax test function. We prove that this dynamic version of the $(1+lambda)$~EA finds the optimum in an expected optimization time (number of fitness evaluations) of $O(nlambda/loglambda+nlog n)$. This time is asymptotically smaller than the optimization time of the classic $(1+lambda)$ EA. Previous work shows that this performance is best-possible among all $lambda$-parallel mutation-based unbiased black-box algorithms.We also propose and analyze a self-adaptive version of the $(1,lambda)$ evolutionary algorithm in which the current mutation rate is part of the individual and thus also subject to mutation. A rigorous runtime analysis on the OneMax benchmark function reveals that a simple local mutation scheme for the rate leads to an expected optimization time of the best possible $O(nlambda/loglambda+nlog n)$. Our result shows that self-adaptation in evolutionary computation can find complex optimal parameter settings on the fly. At the same time, it proves that a relatively complicated self-adjusting scheme for the mutation rate can be replaced by our simple endogenous scheme
Osberg, Deborah Carol. "Curriculum, complexity and representation : rethinking the epistemology of schooling through complexity theory." Thesis, Open University, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.417476.
Full textHiltgen, Alain P. L. "Cryptographically relevant contributions to combinational complexity theory /." Zürich, 1993. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=10382.
Full textLotz, Martin. "On numerical invariants in algebraic complexity theory." [S.l.] : [s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=976761483.
Full textTourlakis, Iannis. "Some results in non-uniform complexity theory." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0009/MQ53393.pdf.
Full textBürgisser, Peter. "Completeness and reduction in algebraic complexity theory /." Berlin [u.a.] : Springer, 2000. http://www.loc.gov/catdir/enhancements/fy0817/00029647-d.html.
Full textBaikovicius, Jimmy. "Theory and applications of predictive stochastic complexity." Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=39533.
Full textA change-point detection method for certain kinds of ARMA processes is obtained for time variant change-points. Also, the abrupt jump parameter case and change-point detection using undermodeling are considered. A novel result is that undermodeling could in many cases improve the performance of the change-point detection scheme. Some results of the analysis of the change-point detection scheme are obtained and extensive simulations show that the approach exhibits surprisingly good detection capabilities.
Lastly, we prove that the original form of the adaptive controller for linear time invariant systems, as obtained in (Ger90a), can be computed in a much less expensive manner. Simulations for an ARX system exemplify the stability and tracking capability of the adaptive controller. Moreover, the effect of dithering on closed loop performance is illustrated.
Mittmann, Johannes [Verfasser]. "Independence in Algebraic Complexity Theory / Johannes Mittmann." Bonn : Universitäts- und Landesbibliothek Bonn, 2013. http://d-nb.info/1045872121/34.
Full textAbusidualghoul, Victoria Jemma. "Complexity theory & the measure of organisations." Thesis, University of Leicester, 2014. http://hdl.handle.net/2381/28920.
Full textParsa, Mahdi. "Parameterized Complexity Applied in Algorithmic Game Theory." Thesis, Griffith University, 2011. http://hdl.handle.net/10072/367212.
Full textThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
Institute for Integrated and Intelligent Systems
Science, Environment, Engineering and Technology
Full Text
Simpson, Mark Aloysius. "Complexity Theory of Leadership and Management Information." ScholarWorks, 2018. https://scholarworks.waldenu.edu/dissertations/6121.
Full textZuppiroli, Sara <1979>. "Probabilistic Recursion Theory and Implicit Computational Complexity." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amsdottorato.unibo.it/6723/1/thesis.pdf.
Full textZuppiroli, Sara <1979>. "Probabilistic Recursion Theory and Implicit Computational Complexity." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amsdottorato.unibo.it/6723/.
Full textChan, Ming-Yan. "Video encoder complexity reduction /." View abstract or full-text, 2005. http://library.ust.hk/cgi/db/thesis.pl?ELEC%202005%20CHANM.
Full textHearn, John. "Kolmogorov Complexity of Graphs." Scholarship @ Claremont, 2006. https://scholarship.claremont.edu/hmc_theses/182.
Full textFournier, Bradford M. "Towards a Theory of Recursive Function Complexity: Sigma Matrices and Inverse Complexity Measures." ScholarWorks@UNO, 2015. http://scholarworks.uno.edu/td/2072.
Full textHo, Hai Pang. "Low complexity decoding of cyclic codes." Thesis, University of Surrey, 1998. http://epubs.surrey.ac.uk/844222/.
Full textMayhew, Dillon. "Matroids and complexity." Thesis, University of Oxford, 2005. http://ora.ox.ac.uk/objects/uuid:23640923-17c3-4ad8-9845-320e3b662910.
Full textHorton, Steven Bradish. "Graph approximation : issues and complexity." Thesis, Georgia Institute of Technology, 1991. http://hdl.handle.net/1853/24830.
Full textWilliams, Richard G. C. "Low complexity block coded modulation." Thesis, University of Manchester, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329600.
Full textRaynard, Mia. "Deconstructing Complexity: Configurations of Institutional Complexity and Structural Hybridity." SAGE Publications, 2016. http://dx.doi.org/10.1177/1476127016634639.
Full textAnnan, J. D. "The complexity of counting problems." Thesis, University of Oxford, 1994. http://ora.ox.ac.uk/objects/uuid:52070098-14fa-4cf1-ae6e-9f9ce6a626d8.
Full textBonmatí, Coll Ester. "Study of brain complexity using information theory tools." Doctoral thesis, Universitat de Girona, 2016. http://hdl.handle.net/10803/404384.
Full textEl cervell humà és una xarxa complexa que comparteix i processa la informació mitjançant els camins estructurals per tal de realitzar una funció. El connectoma és una representació del cervell en forma de graf, on els nodes corresponen a regions del cervell i les arestes a connexions estructurals o funcionals. En aquesta tesi, s'investiga i es proporcionen nous mètodes per estudiar la complexitat del cervell i millorar la comprensió del seu funcionament mitjançant l'ús de la teoria de la informació. En primer lloc, ens centrem en mètodes de parcel.lació del cervell, el qual és un pas clau per realitzar estudis de complexitat ja que determina les regions a analitzar. En segon lloc, ens centrem en la definició de mesures per a caracteritzar la complexitat de les xarxes cerebrals. Finalment, la consistència dels resultats entre els subjectes sans a partir de dades de connectivitat funcional o estructural, demostra la flexibilitat i robustesa dels mètodes proposats
Koch, Andreas. "Five essays on economic theory : complexity and ccordination /." Copenhagen, 2005. http://www.gbv.de/dms/zbw/480791325.pdf.
Full textWilliams, Alan John. "Theoretical and empirical studies in VLSI complexity theory." Thesis, University of Leeds, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329174.
Full textKamath, Pritish. "Some hardness escalation results in computational complexity theory." Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/128290.
Full textThesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2020
Cataloged from student-submitted PDF of thesis. "February 2020."
Includes bibliographical references (pages 92-105).
In this thesis, we prove new hardness escalation results in computational complexity theory; a phenomenon where hardness results against seemingly weak models of computation for any problem can be lifted, in a black box manner, to much stronger models of computation by considering a simple gadget composed version of the original problem. For any unsatisfiable CNF formula F that is hard to refute in the Resolution proof system, we show that a gadget-composed version of F is hard to refute in any proof system whose lines are computed by efficient communication protocols. This allows us to prove new lower bounds for: -- Monotone Circuit Size : we get an exponential lower bound for an explicit monotone function computable by linear sized monotone span programs and also in (non-monotone) NC². -- Real Monotone Circuit Size : Our proof technique extends to real communication protocols, which yields similar lower bounds against real monotone circuits. -- Cutting Planes Length : we get exponential lower bound for an explicit CNF contradiction that is refutable with logarithmic Nullstellensatz degree. Finally, we describe an intimate connection between computational models and communication complexity analogs of the sub-classes of TFNP, the class of all total search problems in NP. We show that the communication analog of PPA[subscript p] captures span programs over F[subscript p] for any prime p. This complements previously known results that communication FP captures formulas (Karchmer- Wigderson, 1988) and that communication PLS captures circuits (Razborov, 1995).
by Pritish Kamath.
Ph. D.
Ph.D. Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science
Pavan, A. "Average-case complexity theory and polynomial-time reductions." Buffalo, N.Y. : Dept. of Computer Science, State University of New York at Buffalo, 2001. http://www.cse.buffalo.edu/tech%2Dreports/2001%2D10.ps.Z.
Full textBAIGUERA, STEFANO. "Developments in non-relativistic field theory and complexity." Doctoral thesis, Università degli Studi di Milano-Bicocca, 2020. http://hdl.handle.net/10281/258694.
Full textThis thesis focuses on the investigation of two broad research areas: non-relativistic field theories and holographic complexity. In the first part we review the general classification of the trace anomaly for 2+1 dimensional field theories coupled to a Newton-Cartan background and we also review the heat kernel method, which is used to study one-loop effective actions and then allows to compute anomalies for a given theory. We apply this technique to extract the exact coefficients of the curvature terms of the trace anomaly for both a non-relativistic free scalar and a fermion, finding a relation with the conformal anomaly of the 3+1 dimensional relativistic counterpart which suggests the existence of a non-relativistic version of the a-theorem on which we comment. We continue the analysis of non-relativistic free scalar and fermion with the heat kernel method by turning on a source for the particle mass: on this background, we find that there is no gravitational anomaly, but the trace anomaly is not gauge invariant. We then consider a specific model realizing a N=2 supersymmetric extension of the Bargmann group in 2+1 dimensions with non-vanishing superpotential, obtained by null reduction of a relativistic Wess-Zumino model. We check that the superpotential is protected against quantum corrections as in the relativistic parent theory, thus finding a non-relativistic version of the non-renormalization theorem. Moreover, we find strong evidence that the theory is one-loop exact, due to the causal structure of the non-relativistic propagator together with mass conservation. In the second part of the thesis we review the holographic conjectures proposed by Susskind to describe the time-evolution of the Einstein-Rosen bridge in gravitational theories: the complexity=volume and complexity=action. These quantities may be used as a tool to investigate dualities, and we investigate both the volume and the action for black holes living in warped AdS_3 spacetime, which is a non-trivial modification of usual AdS_3 with non-relativistic boundary isometries. In particular, we analytically compute the time dependence of complexity finding an asymptotic growth rate proportional to the product of Hawking temperature and Bekenstein-Hawking entropy. In this context, there exist extensions of the holographic proposals when the dual state from the field theory side is mixed, i.e. we consider only a subregion on the boundary. We study the structure of UV divergences, the sub/super-additivity behaviour of complexity and its temperature dependence for warped black holes in 2+1 dimensions when the subregion is taken to be one of the two disconnected boundaries. Finally, we analytically compute the subregion action complexity for a general segment on the boundary in the BTZ black hole background, finding that it is equal to the sum of a linearly divergent term proportional to the size of the subregion and of a term proportional to the entanglement entropy. While this result suggests a strong relation of complexity with entanglement entropy, we find after investigating the case of two disjoint segments in the BTZ background that there are additional finite contributions: then the previous elegant structure holds only for the divergent parts.
Hardman, Mark. "Complexity and classroom learning." Thesis, Canterbury Christ Church University, 2015. http://create.canterbury.ac.uk/14466/.
Full textSanchez-Arroyo, Abdon. "Colourings, complexity, and some related topics." Thesis, University of Oxford, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280009.
Full textDi, Clemente Riccardo. "Essays on economic and social complexity." Thesis, IMT Alti Studi Lucca, 2014. http://e-theses.imtlucca.it/135/1/Di_Clemente_phdthesis.pdf.
Full textGabay, Michael. "High-multiplicity Scheduling and Packing Problems : Theory and Applications." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENM086/document.
Full textHigh-Multiplicity encoding is a natural encoding of data. In scheduling, it simply consists in stating once the characteristics of each type of tasks and the number of tasks of this type. This encoding is very compact and natural but it is generally supposed in scheduling that all tasks are specified separately. High-Multiplicity scheduling, when considered, raises many complexity issues because of the small input size. The aim of this thesis is to provide insights on how to cope with high-multiplicity scheduling problems. We also seek to contribute to scheduling and packing in general. We expose different techniques and approaches and use them to solve specific scheduling and packing problems. We study the high-multiplicity single machine scheduling problem with forbidden start and completion times and show that this problem is polynomial with large diversity instances. We present the identical coupled-task scheduling problem and display many difficulties and issues occurring in high-multiplicity scheduling on this problem. We improve the best upper and lower bounds on the bin stretching problem. We study the vector packing problems with heterogeneous bins and propose heuristics for this problem. Finally, we present a general reduction algorithm for packing problems which can be applied in polynomial time, even with high-multiplicity encoding of the input
Twist, Benjamin Robert John. "Taking the complexity turn to steer carbon reduction policy : applying practice theory, complexity theory and cultural practices to policies addressing climate change." Thesis, University of Edinburgh, 2018. http://hdl.handle.net/1842/31451.
Full textLovelace, April L. "On the Complexity of Scheduling University Courses." DigitalCommons@CalPoly, 2010. https://digitalcommons.calpoly.edu/theses/245.
Full textSmith, Justin N. "Computational complexity, bounded rationality and the theory of games." Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365642.
Full textDziemba, Friederike Anna [Verfasser]. "Disturbed witnesses in quantum complexity theory / Friederike Anna Dziemba." Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2019. http://d-nb.info/1179909658/34.
Full text