A review of methodological approaches for the design and optimization of wind farms

JF Herbert-Acero, O Probst, PE Réthoré, GC Larsen… - Energies, 2014 - mdpi.com
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 …

Most tensor problems are NP-hard

CJ Hillar, LH Lim - Journal of the ACM (JACM), 2013 - dl.acm.org
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 …

An Overview of Mathematical Issues Arising in the Geometric Complexity Theory Approach to

P Bürgisser, JM Landsberg, L Manivel… - SIAM Journal on …, 2011 - SIAM
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 …

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 …

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 …

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 …

[HTML][HTML] On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic

B Courcelle, JA Makowsky, U Rotics - Discrete applied mathematics, 2001 - Elsevier
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 …

On the complexity of numerical analysis

E Allender, P Bürgisser, J Kjeldgaard-Pedersen… - SIAM Journal on …, 2009 - SIAM
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 …

[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 …

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 …