Pinboard (Vaguery)
https://pinboard.in/u:Vaguery/public/
recent bookmarks from VaguerySolving (Some) Formal Math Olympiad Problems2022-05-28T11:48:54+00:00
https://openai.com/blog/formal-math/
Vaguerynatural-language-processing mathematical-recreations proof machine-learning rather-interesting benchmarking to-write-about consider:representationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:c64f1e2a78ad/[2105.05250] Several special cases of a square problem2022-05-15T11:05:54+00:00
https://arxiv.org/abs/2105.05250
Vaguerynumber-theory open-questions rather-interesting constraint-satisfaction proofhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:bf3d12f5a803/[1801.07661] Approximability in the GPAC2022-05-14T10:53:18+00:00
https://arxiv.org/abs/1801.07661
Vagueryanalog-computing representation approximation to-understand proof nonlinear-dynamicshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:8833ee7868c5/[2105.10618] Tight bounds on the maximal perimeter of convex equilateral small polygons2022-05-14T10:40:20+00:00
https://arxiv.org/abs/2105.10618
Vagueryplane-geometry optimization rather-interesting extreme-values proof computational-geometry to-write-about consider:looking-to-see consider:visualizationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:0fae93e4bee2/[2102.00984] Faulty picture-hanging improved2022-03-15T15:54:04+00:00
https://arxiv.org/abs/2102.00984
Vaguerypuzzles mathematical-recreations topology statics rather-interesting looking-to-see proof to-write-about to-visualize consider:interactivityhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:c2db4438bfd6/[1708.08975] On Rainbow Hamilton Cycles in Random Hypergraphs2022-03-06T11:38:36+00:00
https://arxiv.org/abs/1708.08975
Vagueryhypergraphs graph-coloring set-theory combinatorics proof rather-interesting to-write-about to-visualize consider:samplinghttps://pinboard.in/https://pinboard.in/u:Vaguery/b:045f357f81c9/[2103.15850] An upper bound on the size of Sidon sets2022-01-31T13:43:41+00:00
https://arxiv.org/abs/2103.15850
Vaguerynumber-theory combinatorics rather-interesting proof mathematical-recreations to-write-about nudge-targets consider:classifying-a-set consider:feature-discoveryhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:f907cc06ed49/[2108.08293] Topics on Pedal Polygons2022-01-29T12:41:57+00:00
https://arxiv.org/abs/2108.08293
Vagueryplane-geometry construction proof rather-interesting to-write-about consider:animation consider:sampling-pointshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:f891b0064220/[2109.07817] Tiling of regular polygons with similar right triangles2022-01-27T11:45:26+00:00
https://arxiv.org/abs/2109.07817
Vaguerygeometry dissection-problems proof pictures-needed to-write-about to-visualize consider:equilateral-polygonshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:6205bbfcbc69/[2105.11431] A lower bound for the $n$-queens problem2022-01-01T13:52:09+00:00
https://arxiv.org/abs/2105.11431
Vaguerycombinatorics constraint-satisfaction mathematical-recreations proof to-write-about consider:guessing to-visualizehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:a8a2c3e3200b/[1606.07095] Finding Proofs in Tarskian Geometry2021-12-17T12:50:16+00:00
https://arxiv.org/abs/1606.07095
Vagueryproof plane-geometry rather-interesting generative-models formal-languages solvers to-write-about consider:representation consider:genetic-programminghttps://pinboard.in/https://pinboard.in/u:Vaguery/b:785598d0a898/[2012.05485] Triangles with Vertices Equidistant to a Pedal Triangle2021-10-22T10:29:33+00:00
https://arxiv.org/abs/2012.05485
Vagueryplane-geometry open-questions geometric-constructions rather-interesting algorithms proof to-write-about to-simulatehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:527cc1ee9a84/[1712.08395] Feeble fish in time-dependent waters and homogenization of the G-equation2021-05-11T19:02:00+00:00
https://arxiv.org/abs/1712.08395
Vaguerymodel-systems control-theory nonlinear-dynamics rather-interesting rather-odd a-picture-or-two-might-be-nice to-simulate to-write-about proofhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:7829bb45ef2f/[2103.09623] Euclid After Computer Proof-checking2021-05-07T14:09:44+00:00
https://arxiv.org/abs/2103.09623
Vaguerymathematics logic-programming rather-interesting proof proof-systems looking-to-see symbolic-processing formal-languageshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:6fd3c348ddd5/[1904.05459] Constant factor approximations to edit distance on far input pairs in nearly linear time2021-01-21T21:08:56+00:00
https://arxiv.org/abs/1904.05459
Vaguery0 and a randomized algorithm that takes as input an integer n and two strings x,y of length at most n, and runs in time O(n1+1T) and outputs an upper bound U on the edit distance ED(x,y) that with high probability, satisfies U≤R(ED(x,y)+n1−ζ). In particular, on any input with ED(x,y)≥n1−ζ the algorithm outputs a constant factor approximation with high probability.
A similar result has been proven independently by Brakensiek and Rubinstein (2019).
]]>strings edit-distance proof computational-complexity to-understand consider:looking-to-see consider:visualizationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:ba05fdb80253/[2010.05052] Tiling of regular polygon with similar right triangles2020-11-26T14:22:32+00:00
https://arxiv.org/abs/2010.05052
Vaguerytiling dissection mathematical-recreations geometry rather-interesting proof to-write-about consider:looking-to-seehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:e3e5ba9ab577/[1912.05251] Colouring bottomless rectangles and arborescences2020-10-07T15:45:41+00:00
https://arxiv.org/abs/1912.05251
Vagueryhypergraphs graph-theory algorithms impossibility proof rather-interesting to-write-about to-simulate consider:guessing consider:visualization combinatoricshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:627f1dbc878b/A simple proof of the quadratic formula | The Math Less Traveled2020-09-19T12:36:26+00:00
https://mathlesstraveled.com/2019/12/23/a-simple-proof-of-the-quadratic-formula/
Vagueryalgebra mathematics proof simple-things-revisited to-reread consider:visualizationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:4097acec5c46/[1910.06709] A Simple Proof of the Quadratic Formula2020-09-19T12:34:35+00:00
https://arxiv.org/abs/1910.06709
Vagueryalgebra proof simple-things-revisited rather-interesting to-write-about via:mathlesstraveledhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:4561ebbb93e5/[1912.03214] Generalized continued fraction expansions for $π$ and $e$2020-09-19T12:24:27+00:00
https://arxiv.org/abs/1912.03214
Vaguerynumber-theory machine-learning proof rather-interesting to-write-about to-repeat to-visualize consider:performance-measureshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:8cd9e19a94f7/soft question - Awfully sophisticated proof for simple facts - MathOverflow2020-09-18T21:22:21+00:00
https://mathoverflow.net/questions/42512/awfully-sophisticated-proof-for-simple-facts
Vaguerymathematics amusing math-jokes proof rather-interesting pragmatics to-write-about consider:genetic-programming consider:the-genie-problemhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:519c835717a6/[1510.01645] A problem in Pythagorean Arithmetic2020-09-11T15:38:37+00:00
https://arxiv.org/abs/1510.01645
Vagueryconstruction mathematical-recreations proof tool-constraints rather-interesting to-write-about consider:genetic-programminghttps://pinboard.in/https://pinboard.in/u:Vaguery/b:8d1feb1628c1/Andrés E. Caicedo on Twitter: "Is √17 irrational? A thread I learned recently of a cute, apparently open, problem that I think is interesting and merits some mention. 1/" / Twitter2020-09-09T23:50:07+00:00
https://twitter.com/AndresECaicedo1/status/1302697810446483456
Vaguerymathematics history-of-mathematics proof looking-to-see rather-interesting to-write-about to-visualizehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:bbce5651b731/[1910.00418] Relationships Between Six Excircles2020-05-18T21:47:06+00:00
https://arxiv.org/abs/1910.00418
Vagueryplane-geometry proof rather-interesting pattern-discovery geometry to-write-about to-simulate consider:ellipseshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:57700fc8a4a9/[1710.08486] Decomposing graphs into edges and triangles2020-05-16T12:14:07+00:00
https://arxiv.org/abs/1710.08486
Vaguerygraph-theory combinatorics feature-construction proof to-simulate to-write-about consider:looking-to-see consider:samplinghttps://pinboard.in/https://pinboard.in/u:Vaguery/b:f4f7a5aaa115/[math/0406503] Topological mixing for substitutions on two letters2020-05-16T11:57:27+00:00
https://arxiv.org/abs/math/0406503
Vaguery1, then topological mixing is equivalent to topological weak mixing, which has an explicit arithmetic characterization. The case |θ2|=1 is more delicate, and we only obtain some partial results.
]]>rewriting-systems automata probability-theory rather-interesting algebra topology to-simulate to-write-about consider:transitions proofhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:859b7be367a8/[1903.04968] A quantitative Lovász criterion for Property B2020-05-14T00:58:57+00:00
https://arxiv.org/abs/1903.04968
Vagueryhypergraphs graph-coloring combinatorics rather-interesting proof to-simulate to-write-about consider:feature-discovery consider:samplinghttps://pinboard.in/https://pinboard.in/u:Vaguery/b:a69a2723c351/[1701.00525] Many cubic surfaces contain rational points2020-05-02T23:39:30+00:00
https://arxiv.org/abs/1701.00525
Vaguerynumber-theory polynomials cubic-equations rationality-no-the-other-kind proof rather-interesting to-simulate consider:random-samplinghttps://pinboard.in/https://pinboard.in/u:Vaguery/b:e622fca64091/[2004.07630] Four Pages Are Indeed Necessary for Planar Graphs2020-05-02T14:49:34+00:00
https://arxiv.org/abs/2004.07630
Vaguerygraph-theory graph-layout proof rather-interesting to-write-about to-simulate consider:visualization consider:feature-discoveryhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:52f040dad350/[1904.04791] Planar graphs have bounded queue-number2020-05-02T12:22:54+00:00
https://arxiv.org/abs/1904.04791
Vaguerydiscrete-mathematics feature-construction rather-interesting proof to-simulate to-write-about consider:where-it-appears-in-GPhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:581de4ed373c/More on sums of palindromes | The Math Less Traveled2020-03-19T23:02:37+00:00
https://mathlesstraveled.com/2018/04/11/more-on-sums-of-palindromes/
Vaguerynumber-theory proof rather-interesting nudge-targets consider:generators to-write-about to-simulatehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:b7c85b7cb737/[1902.07404] The Provability of Consistency2020-03-08T21:27:16+00:00
https://arxiv.org/abs/1902.07404
Vagueryformal-logic mathematics representation proof philosophy rather-interesting the-mangle-in-practicehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:0655a0f645cc/What Proof Is Best? |2020-02-18T22:37:51+00:00
https://mathenchant.wordpress.com/2020/01/24/what-proof-is-best/
Vaguerymathematics philosophy solution-spaces diversity proof to-write-about to-simulate consider:surprisehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:080300918eb5/[math/0509478] Simultaneous Diagonal Flips in Plane Triangulations2020-02-08T00:44:26+00:00
https://arxiv.org/abs/math/0509478
Vaguerygraph-theory combinatorics rewriting-systems rather-interesting proof to-simulate to-write-about consider:constraint-satisfactionhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:bd828ce094c2/[1605.04300] On the Circle Covering Theorem by A. W. Goodman and R. E. Goodman2020-01-23T03:20:53+00:00
https://arxiv.org/abs/1605.04300
Vaguery0 it is always possible to cover them by a translate of d+12(∑τi)K, provided they cannot be separated into two subfamilies by a hyperplane disjoint from the homothets.]]>covering-problems plane-geometry rather-interesting to-simulate to-write-about proof consider:looking-to-see consider:robustness consider:feature-discoveryhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:9eb09aa84b05/[1711.03401] Yet Another Proof of the Aperiodicity of Robinson Tiles2020-01-10T20:49:50+00:00
https://arxiv.org/abs/1711.03401
Vagueryaperiodic-tiling proof to-simulate to-write-about consider:feature-discoveryhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:06f6644c3f20/[math/0702786] Convex hulls of polyominoes2019-10-13T11:48:36+00:00
https://arxiv.org/abs/math/0702786
Vaguerycombinatorics polyominoes enumeration convex-hull optimization proof open-questions consider:overlapshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:8313a37ade35/[1509.02241] The local optimality of the double lattice packing2019-09-07T12:06:46+00:00
https://arxiv.org/abs/1509.02241
Vaguerygeometry proof techniques algorithms packing plane-geometry optimization performance-measure to-understand to-write-about consider:looking-to-see consider:rediscovery consider:robustnesshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:7caa3f823a4d/[1808.09167] Hirzebruch-type inequalities viewed as tools in combinatorics2019-07-24T10:55:33+00:00
https://arxiv.org/abs/1808.09167
Vaguerycombinatorics line-arrangements plane-geometry constraint-satisfaction rather-interesting to-understand proof heuristics consider:looking-to-see to-write-abouthttps://pinboard.in/https://pinboard.in/u:Vaguery/b:4acb2e021fea/[1810.03053] Limiting Distributions in Generalized Zeckendorf Decompositions2019-05-06T10:16:20+00:00
https://arxiv.org/abs/1810.03053
Vaguerynumber-theory fibonacci construction combinatorics proof generalization rather-interesting to-write-abouthttps://pinboard.in/https://pinboard.in/u:Vaguery/b:475f3cbcc211/[1607.04758] Projective configuration theorems: old wine into new wineskins2019-05-06T09:52:59+00:00
https://arxiv.org/abs/1607.04758
Vaguerygeometry review rather-interesting computational-geometry proof mathematical-recreations plane-geometry to-write-about to-simulate consider:rediscovery billiardshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:d7ad1f479e04/The Four Points Puzzle2019-05-01T11:00:37+00:00
https://www.solipsys.co.uk/new/TheFourPointsPuzzle.html?RSS
Vaguerypuzzles mathematical-recreations proof plane-geometryhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:a95ac87c7c9e/[0807.3322] A characterization of substitutive sequences using return words2019-04-26T11:25:25+00:00
https://arxiv.org/abs/0807.3322
Vagueryrewriting-systems proof to-understand number-theory mathematical-recreations to-write-abouthttps://pinboard.in/https://pinboard.in/u:Vaguery/b:521de79c43d4/[1206.2230] Triangle Tiling II: Nonexistence theorems2019-04-24T15:17:41+00:00
https://arxiv.org/abs/1206.2230
Vaguerytiling dissection-problems constraint-satisfaction proof combinatorics nudge-targets consider:relaxations consider:approximationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:d36f10e15b16/[1206.2228] Triangle Tiling V: Tilings by a tile with integer sides2019-04-24T15:16:31+00:00
https://arxiv.org/abs/1206.2228
Vaguerytiling constraint-satisfaction proof plane-geometry dissection-problems open-questions consider:looking-to-see consider:simulationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:cc0ae5d0da6c/[1811.09723] No triangle can be cut into seven congruent triangles2019-04-24T14:34:43+00:00
https://arxiv.org/abs/1811.09723
Vaguerytiling constraint-satisfaction proof combinatorics plane-geometry to-write-about to-do consider:genetic-programming consider:feature-discovery consider:rediscovery talk-about:dominoeshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:e2a4ec7af814/[1812.08150] Fair Division of an Archipelago2019-03-06T12:09:00+00:00
https://arxiv.org/abs/1812.08150
Vaguerygame-theory computational-geometry division-problems proof nudge-targets consider:looking-to-see iterated-games combinatorial-gameshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:7ba95728e5b5/[1811.00547] Geometric Mean of Partial Positive Definite Matrices with Missing Entries2019-02-19T11:44:18+00:00
https://arxiv.org/abs/1811.00547
Vaguerymatrices to-understand inference proof looking-to-see to-write-about consider:algorithms missing-data data-cleaninghttps://pinboard.in/https://pinboard.in/u:Vaguery/b:48ec3e3145bd/[1902.04312] Irrationality and transcendence of continued fractions with algebraic integers2019-02-19T10:50:13+00:00
https://arxiv.org/abs/1902.04312
Vaguerynumber-theory what-if continued-fractions complex-numbers out-of-the-box looking-to-see proof nudge-targets consider:looking-to-seehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:971935814885/Odd at Heart - Futility Closet2019-02-06T00:28:17+00:00
https://www.futilitycloset.com/2018/12/19/odd-at-heart/
Vagueryconstraint-satisfaction puzzles mathematical-recreations proof consider:generalizing to-write-about consider:hypergraphshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:ee1aa1269882/[1706.08105] Compatible 4-Holes in Point Sets2018-12-25T13:00:59+00:00
https://arxiv.org/abs/1706.08105
Vaguerycomputational-geometry plane-geometry limits proof nudge-targets to-write-about to-simulatehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:0d3b7638c81b/[1707.02643] The Junta Method for Hypergraphs and the ErdH{o}s-Chv'{a}tal Simplex Conjecture2018-12-21T13:12:03+00:00
https://arxiv.org/abs/1707.02643
Vagueryn0(d).]]>hypergraphs set-theory optimization conjecture proof combinatorics nudge-targets consider:looking-to-see consider:representationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:25e3cb8bbae2/[1809.06451] A new lower bound on Hadwiger-Debrunner numbers in the plane2018-12-20T02:24:44+00:00
https://arxiv.org/abs/1809.06451
Vaguerycomputational-geometry plane-geometry to-understand graph-theory proof nudge-targets consider:looking-to-see also:a-fucking-drawing-or-two-might-be-nice-peoplehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:855ef873dc8b/An Upper Bound for Lebesgue’s Universal Covering Problem, viXra.org e-Print archive, viXra:1801.02922018-10-21T12:58:56+00:00
http://vixra.org/abs/1801.0292
Vagueryplane-geometry proof rather-interesting to-write-about consider:representationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:7f85d22afa90/[1711.05793] On the proximity of large primes2018-10-19T11:33:40+00:00
https://arxiv.org/abs/1711.05793
Vaguerynumber-theory Hamming-distance proof consider:looking-to-see consider:generative-algorithm nudge-targetshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:b65808fbf1d0/[1602.06208] Every positive integer is a sum of three palindromes2018-09-30T11:11:10+00:00
https://arxiv.org/abs/1602.06208
Vaguerynumber-theory proof nudge-targets consider:algorithms consider:looking-to-seehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:b42b66543fa5/Figuring out when you can do a puzzle. – Occupy Math2018-08-09T12:37:48+00:00
https://occupymath.wordpress.com/2018/05/31/figuring-out-when-you-can-do-a-puzzle/
Vaguerymathematical-recreations polyominoes proof rather-interesting nudge-targets consider:classification consider:feature-discoveryhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:d964a3fe7198/A tale of three machines | The Math Less Traveled2018-08-06T11:45:47+00:00
https://mathlesstraveled.com/2018/01/03/a-tale-of-three-machines/
Vaguerynumber-theory algorithms rather-interesting nudge-targets proof to-write-abouthttps://pinboard.in/https://pinboard.in/u:Vaguery/b:356c37696f7f/Theorem of the Day2018-07-29T09:37:40+00:00
https://www.theoremoftheday.org/Theorems.html#209
Vaguerymathematics proof lists rather-interesting nudge-targets consider:looking-to-seehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:395609febeae/[1712.08373] Notes on complexity of packing coloring2018-03-19T11:22:05+00:00
https://arxiv.org/abs/1712.08373
Vaguery0.
In addition, we design an \FPT algorithm for interval graphs of bounded diameter. This leads us to exploring the problem of finding a partial coloring that maximizes the number of colored vertices.]]>graph-theory algorithms combinatorics proof approximation nudge-targets consider:looking-to-see consider:feature-discoveryhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:2b4abf90bb55/[1709.06217] Deterministic meeting of sniffing agents in the plane2018-03-17T14:13:39+00:00
https://arxiv.org/abs/1709.06217
Vaguery 1 unknown to them. Such distance estimation mechanism can be implemented, e.g., using chemical sensors. Each agent emits some chemical substance (scent), and the sensor of the other agent detects it, i.e., sniffs. The intensity of the scent decreases with the distance.
]]>agent-based rather-interesting random-processes sensors emergent-design proof to-write-about consider:looking-to-seehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:1dffcb17581e/Magic: The Gathering is Turing complete / Boing Boing2018-02-19T13:19:12+00:00
https://boingboing.net/2012/09/12/magic-the-gathering.html
Vaguerycomputational-complexity computer-science amusing proof unconventional-representation-schemeshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:f8027ab2e255/Proofs are not only often beautiful but also necessary | Dan McQuillan2017-11-09T16:56:36+00:00
http://voices.norwich.edu/daniel-mcquillan/2017/08/03/proofs-are-not-only-often-beautiful-but-also-necessary/
Vaguerymathematics proof philosophy to-write-about consider:representationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:44f350a1eca3/[1710.02741] A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations2017-11-05T22:10:19+00:00
https://arxiv.org/abs/1710.02741
Vaguerycomputational-geometry proof rather-interesting to-write-about to-simulate plane-geometryhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:6e9b3539401b/[1605.06848] Nonnegative Matrix Factorization Requires Irrationality2017-11-05T14:16:11+00:00
https://arxiv.org/abs/1605.06848
Vaguerymatrices computational-geometry rather-interesting to-write-about to-understand representation proof consider:classificationhttps://pinboard.in/https://pinboard.in/u:Vaguery/b:b4ac382dbffc/[1707.00219] Angle-monotone Paths in Non-obtuse Triangulations2017-11-05T14:13:08+00:00
https://arxiv.org/abs/1707.00219
Vaguerycomputational-geometry plane-geometry rather-interesting proof nudge-targets consider:looking-to-see consider:algorithmshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:727438b835e5/[0904.2115] Colorful Strips2017-11-04T13:18:22+00:00
https://arxiv.org/abs/0904.2115
Vaguerycomputational-geometry proof rather-interesting to-write-about hypergraphs coloring consider:algorithmshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:59adf576c096/[1710.00386] Orthogonal Terrain Guarding is NP-complete2017-10-24T11:12:05+00:00
https://arxiv.org/abs/1710.00386
Vaguerycomputational-complexity computational-geometry proof consider:stress-testing nudge-targets consider:hardest-problems to-write-abouthttps://pinboard.in/https://pinboard.in/u:Vaguery/b:c8dd884e4967/[1706.10206] Sums of Palindromes: an Approach via Automata2017-10-22T12:18:13+00:00
https://arxiv.org/abs/1706.10206
Vaguery= 5, that every natural number is the sum of at most 3 natural numbers whose base-b representation is a palindrome. However, the cases b = 2, 3, 4 were left unresolved.
We prove, using a decision procedure based on automata, that every natural number is the sum of at most 4 natural numbers whose base-2 representation is a palindrome. Here the constant 4 is optimal. We obtain similar results for bases 3 and 4, thus completely resolving the problem.
We consider some other variations on this problem, and prove similar results. We argue that heavily case-based proofs are a good signal that a decision procedure may help to automate the proof.]]>number-theory rather-interesting lovely algorithms proof nudge-targets consider:rediscovery consider:representation consider:looking-to-seehttps://pinboard.in/https://pinboard.in/u:Vaguery/b:1e3bb727c57f/[1502.04644] Beyond the Runs Theorem2017-10-21T12:37:12+00:00
https://arxiv.org/abs/1502.04644
Vaguerystrings proof permutations looking-to-see to-write-about nudge-targetshttps://pinboard.in/https://pinboard.in/u:Vaguery/b:fdce8d2bac01/