Wikidata:Database reports/Constraint violations/P2159

• Summary
• List of properties
• Property proposal
• Popular properties
• Special:ConstraintReport

Constraint violations report for computes solution to (Discussion, uses, items, changes, related properties): problem that this algorithm or method solves
Data time stamp: 22 March 2024, 11:03 (UTC) — Items processed: 143
The report is generated based on the settings on Property:P2159#P2302.
Updates overwrite this page. Some may already be fixed since the last update: check RecentChangesLinked.
When incremental dumps and the bot work as planned, items fixed before 07:00 UTC disappear in the next update. The report is not updated if only the item count changes.
The report can include false positives. There is no need to "fix" them.

"Scope" violations

Violations count: 0

"Type algorithm (Q8366), solver (Q1966904)" violations

Violations count: 41

• Pareto efficiency (Q36829): economic concept (Q29028649), economic efficiency (Q615445)
• Bessel function (Q219637): Wikipedia article covering multiple topics (Q21484471), function (Q11348), special function (Q867707)
• semaphore (Q221682): method (Q1799072), synchronization primitive (Q96359153)
• Akra–Bazzi method (Q420714): theorem (Q65943)
• Picard–Lindelöf theorem (Q530152): theorem (Q65943)
• Chebyshev polynomial (Q619511): orthogonal polynomials (Q619458), Lucas sequence (Q1759646), polynomial sequence (Q1052437), Gegenbauer polynomials (Q1498246), special function (Q867707)
• Hermite polynomial (Q658574): special function (Q867707), polynomial sequence (Q1052437), Classical orthogonal polynomials (Q17006917)
• master theorem (Q922367): theorem (Q65943)
• Stolz–Cesàro theorem (Q1052752): theorem (Q65943)
• Unit propagation (Q1307834): resolution (Q1051925)
• artificial gravity (Q1332690):
• Nash Solution (Q1332934): solution (Q21075690)
• segment tree (Q2377385): tree (Q223655), data structure (Q175263)
• face-centered cubic (Q3006714): lattice (Q1096885), crystal structure (Q895901)
• convergence test (Q3979448): property (Q937228)
• time-dependent density functional theory (Q4120992): density functional theory (Q1048589)
• Q4341029: software (Q7397), application (Q166142)
• Kelvin transform (Q4377358): transformation (Q12202238)
• Alveolar air equation (Q4737940):
• Concorde TSP Solver (Q5158938): software (Q7397)
• Fast Duplicate File Finder (Q5436910): file manager (Q732970), utility software (Q312466)
• Lockstep protocol (Q6665853): computer network protocol (Q15836568)
• Kalai–Smorodinsky bargaining solution (Q7029725):
• Radial tree (Q7280281):
• rare disaster (Q7294538): economic model (Q2180497), economic shock (Q488732), rare event (Q18393516), economic collapse (Q2357355)
• hexagonal close packing (Q11271065): lattice (Q1096885), crystal structure (Q895901), close-packing of equal spheres (Q1037840)
• Post's lattice (Q13424705): lattice (Q595364), mathematical concept (Q24034552)
• Camunda Platform (Q15790886): workflow management system (Q2808660), work (Q386724)
• grid puzzle (Q16685247): method (Q1799072)
• Coulomb wave function (Q17007968): wave function (Q2362761)
• GP5 chip (Q17018561): integrated circuit model (Q115722011), coprocessor (Q859595)
• civic technology (Q17386807): technology (Q11016), civic engagement (Q4116870)
• The Solution of the Four-Color-Map Problem / Kenneth Appel and Wolfgang Haken. - (10.1977) (Q56048084): scholarly article (Q13442814)
• theory of Brownian Motion (Q56100717): principle (Q211364), scientific theory (Q3239681)
• probabilists' Hermite polynomials (Q98513493): polynomial sequence (Q1052437)
• DuckDuckGo Private Browser (Q107639007): mobile app (Q620615), web browser (Q6368), free software (Q341)
• imagery rescripting (Q111170010): medical treatment (Q179661), psychology (Q9418)
• Society for Maternal and Child Support Initiative in Africa (Q114006524): non-governmental organization (Q79913)
• Mangus formula (Q118904174): mathematical expression (Q6498784)
• SPINA-DI (Q124395025): endocrine function test (Q55282701), individual quantity (Q71550118), measure (Q192276), parameter (Q1413083)
• SPINA Thyr (Q124652309): computer program (Q40056), application (Q166142), free software (Q341)

Types statistics

Accepted	Type	Usage
Yes	algorithm (Q8366)	43
Yes	graph algorithm (Q30503704)	11
Yes	search algorithm (Q755673)	7
Yes	pathfinding algorithm (Q21595855)	7
Yes	numerical method (Q24262840)	5
Yes	finite difference method (Q1147751)	5
Yes	numerical method in hyperbolic partial differential equations (Q24262978)	4
No	theorem (Q65943)	4
Yes	iterative numerical method (Q2321565)	4
Yes	numerical method in differential equations (Q18327520)	4
No	special function (Q867707)	3
Yes	pseudo-spectral method (Q7254447)	3
Yes	approximation algorithm (Q621751)	3
Yes	greedy algorithm (Q504353)	3
Yes	informed search algorithm (Q88775728)	3
No	polynomial sequence (Q1052437)	3
Yes	combinatorial algorithm (Q41883552)	2
Yes	optimization algorithm (Q2835765)	2
No	method (Q1799072)	2
Yes	division algorithm (Q3526714)	2
No	free software (Q341)	2
Yes	quantum algorithm (Q2623817)	2
Yes	numerical method for partial differential equations (Q7069659)	2
No	application (Q166142)	2
Yes	consensus algorithm (Q85914626)	2
No	software (Q7397)	2
No	crystal structure (Q895901)	2
Yes	numerical algorithm (Q124355768)	2
No	lattice (Q1096885)	2
Yes	parallel algorithm (Q1087987)	2
No	coprocessor (Q859595)	1
No	mathematical concept (Q24034552)	1
No	civic engagement (Q4116870)	1
No	computer program (Q40056)	1
No	work (Q386724)	1
No	property (Q937228)	1
No	scientific theory (Q3239681)	1
No	psychology (Q9418)	1
No	synchronization primitive (Q96359153)	1
Yes	Adams–Bashforth methods (Q97610652)	1
No	utility software (Q312466)	1
Yes	integer factorization algorithm (Q97940647)	1
No	economic shock (Q488732)	1
Yes	explicit Runge–Kutta method (Q51846055)	1
Yes	implicit Runge–Kutta method (Q51846061)	1
No	endocrine function test (Q55282701)	1
Yes	randomized algorithm (Q583461)	1
No	lattice (Q595364)	1
Yes	Integer relation algorithm (Q6042598)	1
No	economic efficiency (Q615445)	1
No	orthogonal polynomials (Q619458)	1
No	non-governmental organization (Q79913)	1
No	mobile app (Q620615)	1
No	web browser (Q6368)	1
No	mathematical expression (Q6498784)	1
No	file manager (Q732970)	1
No	individual quantity (Q71550118)	1
No	transformation (Q12202238)	1
No	data structure (Q175263)	1
Yes	matrix multiplication algorithm (Q17082383)	1
No	Classical orthogonal polynomials (Q17006917)	1
Yes	concurrent algorithm (Q16950835)	1
No	computer network protocol (Q15836568)	1
No	Gegenbauer polynomials (Q1498246)	1
Yes	Quasi-Newton method (Q1476018)	1
No	parameter (Q1413083)	1
Yes	metaheuristic (Q1385229)	1
No	scholarly article (Q13442814)	1
No	Lucas sequence (Q1759646)	1
Yes	methods of computing square roots (Q1197114)	1
No	integrated circuit model (Q115722011)	1
No	function (Q11348)	1
Yes	Spigot algorithm (Q11254140)	1
No	technology (Q11016)	1
Yes	root-finding algorithm (Q1085860)	1
No	resolution (Q1051925)	1
No	density functional theory (Q1048589)	1
Yes	statistical procedure (Q104633321)	1
No	close-packing of equal spheres (Q1037840)	1
Yes	SAT solver (Q21055608)	1
No	workflow management system (Q2808660)	1
Yes	method for solving linear systems (Q27868110)	1
Yes	offline algorithm (Q100701244)	1
No	wave function (Q2362761)	1
No	economic collapse (Q2357355)	1
No	tree (Q223655)	1
No	economic model (Q2180497)	1
No	Wikipedia article covering multiple topics (Q21484471)	1
No	principle (Q211364)	1
No	solution (Q21075690)	1
No	economic concept (Q29028649)	1
Yes	heuristic (Q201413)	1
Yes	Q20073597	1
Yes	heuristic (Q1981968)	1
Yes	solver (Q1966904)	1
No	measure (Q192276)	1
Yes	mathematical interpolation (Q187631)	1
Yes	string algorithm (Q184741)	1
No	rare event (Q18393516)	1
No	medical treatment (Q179661)	1

"Value type computational problem (Q3435924)" violations

Violations count: 77

• fast inverse square root (Q32980): nth root (Q601053): type of mathematical function (Q47279819), algebraic function (Q746863), binary operation (Q164307), elementary function (Q824282)
• fast inverse square root (Q32980): reciprocal (Q216906): unary operation (Q657596), elementary function (Q824282), inverse (Q7017933), role (Q4897819), inverse element (Q338057)
• multiplication algorithm (Q130762): multiplication (Q40276): hyperoperation (Q1569997), binary operation (Q164307)
• sorting algorithm (Q181593): sorting (Q2303697): use (Q1724915), specialty (Q1047113), field of study (Q2267705), activity (Q1914636), arranging (Q36993249)
• Newton's method (Q374195): zero of a function (Q214604): element (Q379825), solution (Q1879813)
• Bonferroni correction (Q385989): multiple comparisons problem (Q1038757): fallacy (Q186150), statistical problem (Q105597651)
• Akra–Bazzi method (Q420714): recurrence relation (Q740970): sequence (Q133250), mathematical expression (Q6498784), functional equation (Q594452)
• Gram-Schmidt process (Q475239): orthogonalization (Q1702189): mathematical problem (Q1166625)
• Picard–Lindelöf theorem (Q530152): Cauchy problem (Q1412436): mathematical problem (Q1166625)
• Needleman–Wunsch algorithm (Q583546): local alignment (Q67570706): alignment (Q67566254)
• Fast Fourier transform (Q623950): discrete Fourier transform (Q2878): Fourier transform (Q6520159), discrete transform (Q5282065)
• Kruskal's algorithm (Q797860): minimum spanning tree (Q240464): mathematical concept (Q24034552), spanning tree (Q831672), weighted graph (Q1723971)
• Bailey–Borwein–Plouffe formula (Q803807): pi (Q167): transcendental number (Q173091), real number (Q12916), mathematical constant (Q186509), UCUM constant (Q83155724)
• method of analytic tableaux (Q811591): Entscheidungsproblem (Q11030584): mathematical problem (Q1166625)
• Rayleigh–Ritz method (Q852247): eigenvectors and eigenvalues (Q190524): specialty (Q1047113), field of study (Q2267705), invariant (Q188211)
• master theorem (Q922367): recurrence relation (Q740970): sequence (Q133250), mathematical expression (Q6498784), functional equation (Q594452)
• Shor's algorithm (Q940334): integer factorization (Q4846249): depicting object (Q45025858), factorization (Q188804)
• density functional theory (Q1048589): electron density (Q905186): probability density function (Q207522), volumetric number density (Q176449)
• density functional theory (Q1048589): ground state (Q4480008): stationary state (Q911951)
• Stolz–Cesàro theorem (Q1052752): limit of a sequence (Q847204): function value (Q59715267)
• artificial gravity (Q1332690): effect of spaceflight on the human body (Q2824097): exposure to abnormal gravitational force (Q322567)
• Borůvka's algorithm (Q1468211): minimum spanning tree (Q240464): mathematical concept (Q24034552), spanning tree (Q831672), weighted graph (Q1723971)
• Smith–Waterman algorithm (Q1683352): local alignment (Q67570706): alignment (Q67566254)
• shooting method (Q1749769): boundary value problem (Q1332643): mathematical problem (Q1166625)
• segment tree (Q2377385): Range Minimum Query (Q2130898):
• Cannon's algorithm (Q2835781): matrix multiplication (Q1049914): binary operation (Q164307), multiplication (Q40276), matrix operation (Q28874898)
• face-centered cubic (Q3006714): close-packing of equal spheres (Q1037840): crystal structure (Q895901)
• Ada Lovelace’ algorithm for computing Bernoulli numbers (Q3611580): Bernoulli number (Q694114): sequence of real numbers (Q30904412), rational number (Q1244890)
• convergence test (Q3979448): convergence (Q1287023): mathematical property (Q3924032)
• time-dependent density functional theory (Q4120992): electron density (Q905186): probability density function (Q207522), volumetric number density (Q176449)
• method for evaluating integrals (Q4291933): integral (Q80091): mathematical concept (Q24034552), linear map (Q207643), unary operation (Q657596)
• Q4341029: structural dynamics (Q811197): academic discipline (Q11862829), structural analysis (Q1762403)
• Q4377666: Q4287681:
• Algorithms for calculating variance (Q4724375): sample variance (Q10351825): consistent estimator (Q1782585), statistic (Q1949963)
• Alternating direction implicit method (Q4736413): Sylvester equation (Q3730848):
• Alveolar air equation (Q4737940): alveolar oxygen partial pressure (Q65954330): oxygen partial pressure (Q106635619)
• Karger's algorithm (Q4924414): minimum cut (Q6865438): technical term (Q12812139), cut (Q1626444)
• Coffman–Graham algorithm (Q5141033): job-shop scheduling (Q6206757): area of mathematics (Q1936384)
• domain decomposition methods (Q5289813): boundary value problem (Q1332643): mathematical problem (Q1166625)
• Fast Duplicate File Finder (Q5436910): duplicate (Q470493): file copy (Q332148), object (Q488383), data redundancy (Q838123)
• hyphenation algorithm (Q5958887): syllabification (Q11994045): separation (Q3182649)
• iterative reconstruction (Q6094427): tomographic reconstruction (Q7820109): mathematical problem (Q1166625), reconstruction (Q123585930)
• Lockstep protocol (Q6665853): cheating in online games (Q2514214): cheat (Q264609)
• eigenvalue algorithm (Q6766437): eigenvalue (Q3553768): mathematical concept (Q24034552), number (Q11563), polynomial root (Q20113351), solution (Q1879813)
• rare disaster (Q7294538): Equity premium puzzle (Q129096): dilemma (Q254128)
• Statistical Region Merging (Q7604376): image segmentation (Q56933): separation (Q3182649), computer vision (Q844240)
• hexagonal close packing (Q11271065): close-packing of equal spheres (Q1037840): crystal structure (Q895901)
• Post's lattice (Q13424705): Q65007458: countably infinite set (Q185478), metaclass (Q19478619)
• Camunda Platform (Q15790886): business process (Q851587): type of process (Q116505632), process (Q3249551)
• grid puzzle (Q16685247): Zebra Puzzle (Q169497): task (Q759676), logic puzzle (Q1774662)
• Coulomb wave function (Q17007968): electric potential (Q55451): electric potential (electrodynamics) (Q19727292), scalar potential (Q1856609), physical quantity (Q107715), scalar quantity (Q181175)
• GP5 chip (Q17018561): belief propagation (Q4060686): algorithm (Q8366)
• quantum Byzantine agreement (Q17083590): Byzantine fault (Q1353446): task (Q759676)
• civic technology (Q17386807): social issue (Q1920219): problem (Q621184)
• Q20073597: system of linear equations (Q11203): system of polynomial equations (Q7663735), linear system (Q1072174)
• Heron's method (Q20725439): square root (Q134237): multivalued function on the complex plane (Q121484015), multivalued function (Q629085), function (Q11348), function (Q11348), nth root (Q601053)
• concurrency control algorithm (Q25631864): concurrency control (Q2914952): distributed algorithm (Q2835898), concurrent algorithm (Q16950835)
• method for solving linear systems (Q27868110): system of linear equations (Q11203): system of polynomial equations (Q7663735), linear system (Q1072174)
• Greedy triangulation (Q28811699): polygon triangulation (Q3045660): triangulation (Q2635635)
• proper generalized decomposition (Q55080117): boundary value problem (Q1332643): mathematical problem (Q1166625)
• The Solution of the Four-Color-Map Problem / Kenneth Appel and Wolfgang Haken. - (10.1977) (Q56048084): four color theorem (Q184410): theorem (Q65943), computer-assisted proof (Q1150675), proof by exhaustion (Q9299950)
• theory of Brownian Motion (Q56100717): Brownian motion (Q178036): physical phenomenon (Q1293220), concept (Q151885)
• BLAST algorithm (Q67567059): local alignment (Q67570706): alignment (Q67566254)
• Manacher's algorithm (Q97401429): palindrome (Q12321): stylistic device (Q182545), n-tuple (Q600590), mirror symmetric object (Q30344217)
• integer factorization algorithm (Q97940647): integer factorization (Q4846249): depicting object (Q45025858), factorization (Q188804)
• statistical procedure (Q104633321): statistical problem (Q105597651): problem (Q621184)
• imagery rescripting (Q111170010): psychological trauma (Q654426): psychopathological symptom (Q30897648), symptom or sign (Q112965645), trauma (Q117134054), psychological phenomenon (Q12047512), psychological stress (Q3500368)
• Q113017357: system of linear equations (Q11203): system of polynomial equations (Q7663735), linear system (Q1072174)
• Society for Maternal and Child Support Initiative in Africa (Q114006524): child care (Q1455871): care work (Q5038877)
• Mangus formula (Q118904174): dew point (Q178828): physical quantity (Q107715), thermodynamic temperature (Q264647)
• Tendermint (Q120316594): Byzantine fault (Q1353446): task (Q759676)
• Peter-Clark algorithm (Q123578022): graphical model (Q1143367): statistical model (Q3284399)
• SPINA-DI (Q124395025): Disposition index (Q48973007): individual quantity (Q71550118)
• SPINA Thyr (Q124652309): Thyroid's secretory capacity (Q712816): thyroid function test (Q2499099), thyroid function tests (Q712838)
• SPINA Thyr (Q124652309): sum activity of peripheral deiodinases (Q740624): thyroid function test (Q2499099), thyroid function tests (Q712838)
• SPINA Thyr (Q124652309): TSH Index (Q2207326): thyroid function test (Q2499099), thyroid function tests (Q712838)
• SPINA Thyr (Q124652309): Thyrotroph Thyroid Hormone Sensitivity Index (Q61637391): thyroid function tests (Q712838), thyroid function tests (Q712838)

Types statistics

Accepted	Type	Usage
Yes	computational problem (Q3435924)	41
Yes	partial differential equation (Q271977)	14
Yes	optimization problem (Q984063)	7
No	mathematical problem (Q1166625)	7
Yes	decision problem (Q3262192)	6
Yes	differential equation (Q11214)	6
No	thyroid function tests (Q712838)	5
No	mathematical concept (Q24034552)	4
No	binary operation (Q164307)	3
No	alignment (Q67566254)	3
No	task (Q759676)	3
No	system of polynomial equations (Q7663735)	3
No	thyroid function test (Q2499099)	3
No	linear system (Q1072174)	3
No	probability density function (Q207522)	2
No	depicting object (Q45025858)	2
Yes	ordinary differential equation (Q465274)	2
No	factorization (Q188804)	2
No	solution (Q1879813)	2
No	field of study (Q2267705)	2
No	functional equation (Q594452)	2
No	problem (Q621184)	2
No	volumetric number density (Q176449)	2
No	specialty (Q1047113)	2
No	mathematical expression (Q6498784)	2
No	weighted graph (Q1723971)	2
No	separation (Q3182649)	2
No	unary operation (Q657596)	2
No	spanning tree (Q831672)	2
No	sequence (Q133250)	2
No	physical quantity (Q107715)	2
No	function (Q11348)	2
No	crystal structure (Q895901)	2
No	elementary function (Q824282)	2
No	mathematical property (Q3924032)	1
No	thermodynamic temperature (Q264647)	1
No	algorithm (Q8366)	1
No	element (Q379825)	1
No	data redundancy (Q838123)	1
No	computer vision (Q844240)	1
No	arranging (Q36993249)	1
Yes	elliptic differential equation (Q3607962)	1
No	psychological stress (Q3500368)	1
No	stationary state (Q911951)	1
No	inverse element (Q338057)	1
No	file copy (Q332148)	1
No	statistical model (Q3284399)	1
No	proof by exhaustion (Q9299950)	1
No	process (Q3249551)	1
No	algebraic function (Q746863)	1
No	theorem (Q65943)	1
No	Fourier transform (Q6520159)	1
No	inverse (Q7017933)	1
No	multivalued function (Q629085)	1
No	individual quantity (Q71550118)	1
No	nth root (Q601053)	1
No	n-tuple (Q600590)	1
No	function value (Q59715267)	1
No	multiplication (Q40276)	1
No	discrete transform (Q5282065)	1
No	care work (Q5038877)	1
No	role (Q4897819)	1
No	object (Q488383)	1
Yes	Poisson's equation (Q827688)	1
No	type of mathematical function (Q47279819)	1
No	UCUM constant (Q83155724)	1
Yes	convex optimization (Q463359)	1
No	rational number (Q1244890)	1
No	logic puzzle (Q1774662)	1
No	structural analysis (Q1762403)	1
No	transcendental number (Q173091)	1
No	use (Q1724915)	1
No	concurrent algorithm (Q16950835)	1
No	cut (Q1626444)	1
No	hyperoperation (Q1569997)	1
No	concept (Q151885)	1
Yes	mathematical optimization (Q141495)	1
No	physical phenomenon (Q1293220)	1
No	real number (Q12916)	1
No	technical term (Q12812139)	1
No	consistent estimator (Q1782585)	1
No	reconstruction (Q123585930)	1
No	multivalued function on the complex plane (Q121484015)	1
No	psychological phenomenon (Q12047512)	1
No	academic discipline (Q11862829)	1
No	trauma (Q117134054)	1
No	type of process (Q116505632)	1
No	number (Q11563)	1
No	computer-assisted proof (Q1150675)	1
No	symptom or sign (Q112965645)	1
No	oxygen partial pressure (Q106635619)	1
No	statistical problem (Q105597651)	1
No	electric potential (electrodynamics) (Q19727292)	1
No	sequence of real numbers (Q30904412)	1
No	psychopathological symptom (Q30897648)	1
No	mirror symmetric object (Q30344217)	1
Yes	document classification (Q302088)	1
No	matrix operation (Q28874898)	1
No	distributed algorithm (Q2835898)	1
No	cheat (Q264609)	1
No	triangulation (Q2635635)	1
No	dilemma (Q254128)	1
No	linear map (Q207643)	1
No	polynomial root (Q20113351)	1
No	exposure to abnormal gravitational force (Q322567)	1
No	statistic (Q1949963)	1
No	metaclass (Q19478619)	1
No	area of mathematics (Q1936384)	1
No	activity (Q1914636)	1
No	invariant (Q188211)	1
No	mathematical constant (Q186509)	1
No	fallacy (Q186150)	1
No	scalar potential (Q1856609)	1
No	countably infinite set (Q185478)	1
No	stylistic device (Q182545)	1
No	scalar quantity (Q181175)	1