Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
A review of methodological approaches for the design and optimization of wind farms
This article presents a review of the state of the art of the Wind Farm Design and
Optimization (WFDO) problem. The WFDO problem refers to a set of advanced planning …
Optimization (WFDO) problem. The WFDO problem refers to a set of advanced planning …
Most tensor problems are NP-hard
We prove that multilinear (tensor) analogues of many efficiently computable problems in
numerical linear algebra are NP-hard. Our list includes: determining the feasibility of a …
numerical linear algebra are NP-hard. Our list includes: determining the feasibility of a …
An Overview of Mathematical Issues Arising in the Geometric Complexity Theory Approach to
We discuss the geometry of orbit closures and the asymptotic behavior of Kronecker
coefficients in the context of the geometric complexity theory program to prove a variant of …
coefficients in the context of the geometric complexity theory program to prove a variant of …
Quantum circuits that can be simulated classically in polynomial time
LG Valiant - SIAM Journal on Computing, 2002 - SIAM
A model of quantum computation based on unitary matrix operations was introduced by
Feynman and Deutsch. It has been asked whether the power of this model exceeds that of …
Feynman and Deutsch. It has been asked whether the power of this model exceeds that of …
Holographic algorithms
LG Valiant - SIAM Journal on Computing, 2008 - SIAM
Complexity theory is built fundamentally on the notion of efficient reduction among
computational problems. Classical reductions involve gadgets that map solution fragments …
computational problems. Classical reductions involve gadgets that map solution fragments …
Algorithmic uses of the Feferman–Vaught theorem
JA Makowsky - Annals of Pure and Applied Logic, 2004 - Elsevier
The classical Feferman–Vaught Theorem for First Order Logic explains how to compute the
truth value of a first order sentence in a generalized product of first order structures by …
truth value of a first order sentence in a generalized product of first order structures by …
[HTML][HTML] On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic
We discuss the parametrized complexity of counting and evaluation problems on graphs
where the range of counting is definable in monadic second-order logic (MSOL). We show …
where the range of counting is definable in monadic second-order logic (MSOL). We show …
On the complexity of numerical analysis
We study two quite different approaches to understanding the complexity of fundamental
problems in numerical analysis:(a) the Blum–Shub–Smale model of computation over the …
problems in numerical analysis:(a) the Blum–Shub–Smale model of computation over the …
[KIRJA][B] Cryptographic applications of analytic number theory: complexity lower bounds and pseudorandomness
I Shparlinski - 2013 - books.google.com
The book introduces new techniques that imply rigorous lower bounds on the com plexity of
some number-theoretic and cryptographic problems. It also establishes certain attractive …
some number-theoretic and cryptographic problems. It also establishes certain attractive …
Arithmetic circuits: The chasm at depth four gets wider
P Koiran - Theoretical Computer Science, 2012 - Elsevier
In their paper on the “chasm at depth four”, Agrawal and Vinay have shown that polynomials
in m variables of degree O (m) which admit arithmetic circuits of size 2o (m) also admit …
in m variables of degree O (m) which admit arithmetic circuits of size 2o (m) also admit …