2023.12.01 naive
This commit is contained in:
parent
5ac673f77e
commit
e472d73a5e
4 changed files with 613 additions and 0 deletions
7
challenges/2023/12-hotSprings/README.md
Normal file
7
challenges/2023/12-hotSprings/README.md
Normal file
|
|
@ -0,0 +1,7 @@
|
|||
# [Day 12: Hot Springs](https://adventofcode.com/2023/day/12)
|
||||
|
||||
Before optimisation: 17.13 seconds for part 1
|
||||
|
||||
|
||||
|
||||
* Reduced allocations of strings by using the same instance of a list in `generate_possible_observations()`
|
||||
85
challenges/2023/12-hotSprings/main.py
Normal file
85
challenges/2023/12-hotSprings/main.py
Normal file
|
|
@ -0,0 +1,85 @@
|
|||
import sys
|
||||
from typing import Generator, Iterable
|
||||
|
||||
|
||||
Rule = tuple[str, list[int]]
|
||||
|
||||
|
||||
def parse(instr: str) -> list[Rule]:
|
||||
res = []
|
||||
for line in instr.splitlines():
|
||||
observations, lengths = line.split(" ")
|
||||
res.append((observations, tuple(map(int, lengths.split(",")))))
|
||||
return res
|
||||
|
||||
|
||||
def generate_permutations(n: int) -> Generator[list[int], None, None]:
|
||||
if n == 0:
|
||||
yield []
|
||||
return
|
||||
for p in generate_permutations(n-1):
|
||||
for c in ".#":
|
||||
yield p + [c]
|
||||
|
||||
|
||||
def generate_possible_observations(x: str) -> Generator[list[str], None, None]:
|
||||
xl = list(x)
|
||||
replacement_locations = [i for i in range(len(xl)) if xl[i] == "?"]
|
||||
for combs in generate_permutations((nrl := len(replacement_locations))):
|
||||
for i in range(nrl):
|
||||
xl[replacement_locations[i]] = combs[i]
|
||||
|
||||
yield xl
|
||||
|
||||
|
||||
def check_broken_length_constraints(x: Iterable[str], counts: list[int]) -> bool:
|
||||
inside_set = False
|
||||
set_length = 0
|
||||
current_count = 0
|
||||
for i in range((lx := len(x))+1):
|
||||
char = x[i] if i < lx else "-"
|
||||
if char == "#":
|
||||
inside_set = True
|
||||
set_length += 1
|
||||
elif inside_set:
|
||||
inside_set = False
|
||||
try:
|
||||
if set_length != counts[current_count]:
|
||||
return False
|
||||
except IndexError:
|
||||
# too many counts exist
|
||||
return False
|
||||
set_length = 0
|
||||
current_count += 1
|
||||
return current_count == len(counts)
|
||||
|
||||
|
||||
def one(instr: str):
|
||||
rules = parse(instr)
|
||||
|
||||
acc = 0
|
||||
for (template, lengths) in rules:
|
||||
for obs in generate_possible_observations(template):
|
||||
if check_broken_length_constraints(obs, lengths):
|
||||
acc += 1
|
||||
return acc
|
||||
|
||||
|
||||
def two(instr: str):
|
||||
return
|
||||
|
||||
|
||||
def _debug(*args, **kwargs):
|
||||
kwargs["file"] = sys.stderr
|
||||
print(*args, **kwargs)
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
if len(sys.argv) < 2 or sys.argv[1] not in ["1", "2"]:
|
||||
print("Missing day argument", file=sys.stderr)
|
||||
sys.exit(1)
|
||||
inp = sys.stdin.read().strip()
|
||||
if sys.argv[1] == "1":
|
||||
print(one(inp))
|
||||
else:
|
||||
print(two(inp))
|
||||
513
challenges/2023/12-hotSprings/p1before.svg
Normal file
513
challenges/2023/12-hotSprings/p1before.svg
Normal file
|
|
@ -0,0 +1,513 @@
|
|||
<?xml version="1.0" standalone="no"?>
|
||||
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
||||
<svg version="1.1" width="1200" height="262" onload="init(evt)" viewBox="0 0 1200 262" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
|
||||
<!-- Flame graph stack visualization. See https://github.com/brendangregg/FlameGraph for latest version, and http://www.brendangregg.com/flamegraphs.html for examples. -->
|
||||
<!-- NOTES: -->
|
||||
<defs>
|
||||
<linearGradient id="background" y1="0" y2="1" x1="0" x2="0" >
|
||||
<stop stop-color="#eeeeee" offset="5%" />
|
||||
<stop stop-color="#eeeeb0" offset="95%" />
|
||||
</linearGradient>
|
||||
</defs>
|
||||
<style type="text/css">
|
||||
text { font-family:Verdana; font-size:12px; fill:rgb(0,0,0); }
|
||||
#search, #ignorecase { opacity:0.1; cursor:pointer; }
|
||||
#search:hover, #search.show, #ignorecase:hover, #ignorecase.show { opacity:1; }
|
||||
#subtitle { text-anchor:middle; font-color:rgb(160,160,160); }
|
||||
#title { text-anchor:middle; font-size:17px}
|
||||
#unzoom { cursor:pointer; }
|
||||
#frames > *:hover { stroke:black; stroke-width:0.5; cursor:pointer; }
|
||||
.hide { display:none; }
|
||||
.parent { opacity:0.5; }
|
||||
</style>
|
||||
<script type="text/ecmascript">
|
||||
<![CDATA[
|
||||
"use strict";
|
||||
var details, searchbtn, unzoombtn, matchedtxt, svg, searching, currentSearchTerm, ignorecase, ignorecaseBtn;
|
||||
function init(evt) {
|
||||
details = document.getElementById("details").firstChild;
|
||||
searchbtn = document.getElementById("search");
|
||||
ignorecaseBtn = document.getElementById("ignorecase");
|
||||
unzoombtn = document.getElementById("unzoom");
|
||||
matchedtxt = document.getElementById("matched");
|
||||
svg = document.getElementsByTagName("svg")[0];
|
||||
searching = 0;
|
||||
currentSearchTerm = null;
|
||||
|
||||
// use GET parameters to restore a flamegraphs state.
|
||||
var params = get_params();
|
||||
if (params.x && params.y)
|
||||
zoom(find_group(document.querySelector('[x="' + params.x + '"][y="' + params.y + '"]')));
|
||||
if (params.s) search(params.s);
|
||||
}
|
||||
|
||||
// event listeners
|
||||
window.addEventListener("click", function(e) {
|
||||
var target = find_group(e.target);
|
||||
if (target) {
|
||||
if (target.nodeName == "a") {
|
||||
if (e.ctrlKey === false) return;
|
||||
e.preventDefault();
|
||||
}
|
||||
if (target.classList.contains("parent")) unzoom(true);
|
||||
zoom(target);
|
||||
if (!document.querySelector('.parent')) {
|
||||
// we have basically done a clearzoom so clear the url
|
||||
var params = get_params();
|
||||
if (params.x) delete params.x;
|
||||
if (params.y) delete params.y;
|
||||
history.replaceState(null, null, parse_params(params));
|
||||
unzoombtn.classList.add("hide");
|
||||
return;
|
||||
}
|
||||
|
||||
// set parameters for zoom state
|
||||
var el = target.querySelector("rect");
|
||||
if (el && el.attributes && el.attributes.y && el.attributes._orig_x) {
|
||||
var params = get_params()
|
||||
params.x = el.attributes._orig_x.value;
|
||||
params.y = el.attributes.y.value;
|
||||
history.replaceState(null, null, parse_params(params));
|
||||
}
|
||||
}
|
||||
else if (e.target.id == "unzoom") clearzoom();
|
||||
else if (e.target.id == "search") search_prompt();
|
||||
else if (e.target.id == "ignorecase") toggle_ignorecase();
|
||||
}, false)
|
||||
|
||||
// mouse-over for info
|
||||
// show
|
||||
window.addEventListener("mouseover", function(e) {
|
||||
var target = find_group(e.target);
|
||||
if (target) details.nodeValue = "Function: " + g_to_text(target);
|
||||
}, false)
|
||||
|
||||
// clear
|
||||
window.addEventListener("mouseout", function(e) {
|
||||
var target = find_group(e.target);
|
||||
if (target) details.nodeValue = ' ';
|
||||
}, false)
|
||||
|
||||
// ctrl-F for search
|
||||
// ctrl-I to toggle case-sensitive search
|
||||
window.addEventListener("keydown",function (e) {
|
||||
if (e.keyCode === 114 || (e.ctrlKey && e.keyCode === 70)) {
|
||||
e.preventDefault();
|
||||
search_prompt();
|
||||
}
|
||||
else if (e.ctrlKey && e.keyCode === 73) {
|
||||
e.preventDefault();
|
||||
toggle_ignorecase();
|
||||
}
|
||||
}, false)
|
||||
|
||||
// functions
|
||||
function get_params() {
|
||||
var params = {};
|
||||
var paramsarr = window.location.search.substr(1).split('&');
|
||||
for (var i = 0; i < paramsarr.length; ++i) {
|
||||
var tmp = paramsarr[i].split("=");
|
||||
if (!tmp[0] || !tmp[1]) continue;
|
||||
params[tmp[0]] = decodeURIComponent(tmp[1]);
|
||||
}
|
||||
return params;
|
||||
}
|
||||
function parse_params(params) {
|
||||
var uri = "?";
|
||||
for (var key in params) {
|
||||
uri += key + '=' + encodeURIComponent(params[key]) + '&';
|
||||
}
|
||||
if (uri.slice(-1) == "&")
|
||||
uri = uri.substring(0, uri.length - 1);
|
||||
if (uri == '?')
|
||||
uri = window.location.href.split('?')[0];
|
||||
return uri;
|
||||
}
|
||||
function find_child(node, selector) {
|
||||
var children = node.querySelectorAll(selector);
|
||||
if (children.length) return children[0];
|
||||
}
|
||||
function find_group(node) {
|
||||
var parent = node.parentElement;
|
||||
if (!parent) return;
|
||||
if (parent.id == "frames") return node;
|
||||
return find_group(parent);
|
||||
}
|
||||
function orig_save(e, attr, val) {
|
||||
if (e.attributes["_orig_" + attr] != undefined) return;
|
||||
if (e.attributes[attr] == undefined) return;
|
||||
if (val == undefined) val = e.attributes[attr].value;
|
||||
e.setAttribute("_orig_" + attr, val);
|
||||
}
|
||||
function orig_load(e, attr) {
|
||||
if (e.attributes["_orig_"+attr] == undefined) return;
|
||||
e.attributes[attr].value = e.attributes["_orig_" + attr].value;
|
||||
e.removeAttribute("_orig_"+attr);
|
||||
}
|
||||
function g_to_text(e) {
|
||||
var text = find_child(e, "title").firstChild.nodeValue;
|
||||
return (text)
|
||||
}
|
||||
function g_to_func(e) {
|
||||
var func = g_to_text(e);
|
||||
// if there's any manipulation we want to do to the function
|
||||
// name before it's searched, do it here before returning.
|
||||
return (func);
|
||||
}
|
||||
function update_text(e) {
|
||||
var r = find_child(e, "rect");
|
||||
var t = find_child(e, "text");
|
||||
var w = parseFloat(r.attributes.width.value) -3;
|
||||
var txt = find_child(e, "title").textContent.replace(/\([^(]*\)$/,"");
|
||||
t.attributes.x.value = parseFloat(r.attributes.x.value) + 3;
|
||||
|
||||
// Smaller than this size won't fit anything
|
||||
if (w < 2 * 12 * 0.59) {
|
||||
t.textContent = "";
|
||||
return;
|
||||
}
|
||||
|
||||
t.textContent = txt;
|
||||
var sl = t.getSubStringLength(0, txt.length);
|
||||
// check if only whitespace or if we can fit the entire string into width w
|
||||
if (/^ *$/.test(txt) || sl < w)
|
||||
return;
|
||||
|
||||
// this isn't perfect, but gives a good starting point
|
||||
// and avoids calling getSubStringLength too often
|
||||
var start = Math.floor((w/sl) * txt.length);
|
||||
for (var x = start; x > 0; x = x-2) {
|
||||
if (t.getSubStringLength(0, x + 2) <= w) {
|
||||
t.textContent = txt.substring(0, x) + "..";
|
||||
return;
|
||||
}
|
||||
}
|
||||
t.textContent = "";
|
||||
}
|
||||
|
||||
// zoom
|
||||
function zoom_reset(e) {
|
||||
if (e.attributes != undefined) {
|
||||
orig_load(e, "x");
|
||||
orig_load(e, "width");
|
||||
}
|
||||
if (e.childNodes == undefined) return;
|
||||
for (var i = 0, c = e.childNodes; i < c.length; i++) {
|
||||
zoom_reset(c[i]);
|
||||
}
|
||||
}
|
||||
function zoom_child(e, x, ratio) {
|
||||
if (e.attributes != undefined) {
|
||||
if (e.attributes.x != undefined) {
|
||||
orig_save(e, "x");
|
||||
e.attributes.x.value = (parseFloat(e.attributes.x.value) - x - 10) * ratio + 10;
|
||||
if (e.tagName == "text")
|
||||
e.attributes.x.value = find_child(e.parentNode, "rect[x]").attributes.x.value + 3;
|
||||
}
|
||||
if (e.attributes.width != undefined) {
|
||||
orig_save(e, "width");
|
||||
e.attributes.width.value = parseFloat(e.attributes.width.value) * ratio;
|
||||
}
|
||||
}
|
||||
|
||||
if (e.childNodes == undefined) return;
|
||||
for (var i = 0, c = e.childNodes; i < c.length; i++) {
|
||||
zoom_child(c[i], x - 10, ratio);
|
||||
}
|
||||
}
|
||||
function zoom_parent(e) {
|
||||
if (e.attributes) {
|
||||
if (e.attributes.x != undefined) {
|
||||
orig_save(e, "x");
|
||||
e.attributes.x.value = 10;
|
||||
}
|
||||
if (e.attributes.width != undefined) {
|
||||
orig_save(e, "width");
|
||||
e.attributes.width.value = parseInt(svg.width.baseVal.value) - (10 * 2);
|
||||
}
|
||||
}
|
||||
if (e.childNodes == undefined) return;
|
||||
for (var i = 0, c = e.childNodes; i < c.length; i++) {
|
||||
zoom_parent(c[i]);
|
||||
}
|
||||
}
|
||||
function zoom(node) {
|
||||
var attr = find_child(node, "rect").attributes;
|
||||
var width = parseFloat(attr.width.value);
|
||||
var xmin = parseFloat(attr.x.value);
|
||||
var xmax = parseFloat(xmin + width);
|
||||
var ymin = parseFloat(attr.y.value);
|
||||
var ratio = (svg.width.baseVal.value - 2 * 10) / width;
|
||||
|
||||
// XXX: Workaround for JavaScript float issues (fix me)
|
||||
var fudge = 0.0001;
|
||||
|
||||
unzoombtn.classList.remove("hide");
|
||||
|
||||
var el = document.getElementById("frames").children;
|
||||
for (var i = 0; i < el.length; i++) {
|
||||
var e = el[i];
|
||||
var a = find_child(e, "rect").attributes;
|
||||
var ex = parseFloat(a.x.value);
|
||||
var ew = parseFloat(a.width.value);
|
||||
var upstack;
|
||||
// Is it an ancestor
|
||||
if (0 == 0) {
|
||||
upstack = parseFloat(a.y.value) > ymin;
|
||||
} else {
|
||||
upstack = parseFloat(a.y.value) < ymin;
|
||||
}
|
||||
if (upstack) {
|
||||
// Direct ancestor
|
||||
if (ex <= xmin && (ex+ew+fudge) >= xmax) {
|
||||
e.classList.add("parent");
|
||||
zoom_parent(e);
|
||||
update_text(e);
|
||||
}
|
||||
// not in current path
|
||||
else
|
||||
e.classList.add("hide");
|
||||
}
|
||||
// Children maybe
|
||||
else {
|
||||
// no common path
|
||||
if (ex < xmin || ex + fudge >= xmax) {
|
||||
e.classList.add("hide");
|
||||
}
|
||||
else {
|
||||
zoom_child(e, xmin, ratio);
|
||||
update_text(e);
|
||||
}
|
||||
}
|
||||
}
|
||||
search();
|
||||
}
|
||||
function unzoom(dont_update_text) {
|
||||
unzoombtn.classList.add("hide");
|
||||
var el = document.getElementById("frames").children;
|
||||
for(var i = 0; i < el.length; i++) {
|
||||
el[i].classList.remove("parent");
|
||||
el[i].classList.remove("hide");
|
||||
zoom_reset(el[i]);
|
||||
if(!dont_update_text) update_text(el[i]);
|
||||
}
|
||||
search();
|
||||
}
|
||||
function clearzoom() {
|
||||
unzoom();
|
||||
|
||||
// remove zoom state
|
||||
var params = get_params();
|
||||
if (params.x) delete params.x;
|
||||
if (params.y) delete params.y;
|
||||
history.replaceState(null, null, parse_params(params));
|
||||
}
|
||||
|
||||
// search
|
||||
function toggle_ignorecase() {
|
||||
ignorecase = !ignorecase;
|
||||
if (ignorecase) {
|
||||
ignorecaseBtn.classList.add("show");
|
||||
} else {
|
||||
ignorecaseBtn.classList.remove("show");
|
||||
}
|
||||
reset_search();
|
||||
search();
|
||||
}
|
||||
function reset_search() {
|
||||
var el = document.querySelectorAll("#frames rect");
|
||||
for (var i = 0; i < el.length; i++) {
|
||||
orig_load(el[i], "fill")
|
||||
}
|
||||
var params = get_params();
|
||||
delete params.s;
|
||||
history.replaceState(null, null, parse_params(params));
|
||||
}
|
||||
function search_prompt() {
|
||||
if (!searching) {
|
||||
var term = prompt("Enter a search term (regexp " +
|
||||
"allowed, eg: ^ext4_)"
|
||||
+ (ignorecase ? ", ignoring case" : "")
|
||||
+ "\nPress Ctrl-i to toggle case sensitivity", "");
|
||||
if (term != null) search(term);
|
||||
} else {
|
||||
reset_search();
|
||||
searching = 0;
|
||||
currentSearchTerm = null;
|
||||
searchbtn.classList.remove("show");
|
||||
searchbtn.firstChild.nodeValue = "Search"
|
||||
matchedtxt.classList.add("hide");
|
||||
matchedtxt.firstChild.nodeValue = ""
|
||||
}
|
||||
}
|
||||
function search(term) {
|
||||
if (term) currentSearchTerm = term;
|
||||
|
||||
var re = new RegExp(currentSearchTerm, ignorecase ? 'i' : '');
|
||||
var el = document.getElementById("frames").children;
|
||||
var matches = new Object();
|
||||
var maxwidth = 0;
|
||||
for (var i = 0; i < el.length; i++) {
|
||||
var e = el[i];
|
||||
var func = g_to_func(e);
|
||||
var rect = find_child(e, "rect");
|
||||
if (func == null || rect == null)
|
||||
continue;
|
||||
|
||||
// Save max width. Only works as we have a root frame
|
||||
var w = parseFloat(rect.attributes.width.value);
|
||||
if (w > maxwidth)
|
||||
maxwidth = w;
|
||||
|
||||
if (func.match(re)) {
|
||||
// highlight
|
||||
var x = parseFloat(rect.attributes.x.value);
|
||||
orig_save(rect, "fill");
|
||||
rect.attributes.fill.value = "rgb(230,0,230)";
|
||||
|
||||
// remember matches
|
||||
if (matches[x] == undefined) {
|
||||
matches[x] = w;
|
||||
} else {
|
||||
if (w > matches[x]) {
|
||||
// overwrite with parent
|
||||
matches[x] = w;
|
||||
}
|
||||
}
|
||||
searching = 1;
|
||||
}
|
||||
}
|
||||
if (!searching)
|
||||
return;
|
||||
var params = get_params();
|
||||
params.s = currentSearchTerm;
|
||||
history.replaceState(null, null, parse_params(params));
|
||||
|
||||
searchbtn.classList.add("show");
|
||||
searchbtn.firstChild.nodeValue = "Reset Search";
|
||||
|
||||
// calculate percent matched, excluding vertical overlap
|
||||
var count = 0;
|
||||
var lastx = -1;
|
||||
var lastw = 0;
|
||||
var keys = Array();
|
||||
for (k in matches) {
|
||||
if (matches.hasOwnProperty(k))
|
||||
keys.push(k);
|
||||
}
|
||||
// sort the matched frames by their x location
|
||||
// ascending, then width descending
|
||||
keys.sort(function(a, b){
|
||||
return a - b;
|
||||
});
|
||||
// Step through frames saving only the biggest bottom-up frames
|
||||
// thanks to the sort order. This relies on the tree property
|
||||
// where children are always smaller than their parents.
|
||||
var fudge = 0.0001; // JavaScript floating point
|
||||
for (var k in keys) {
|
||||
var x = parseFloat(keys[k]);
|
||||
var w = matches[keys[k]];
|
||||
if (x >= lastx + lastw - fudge) {
|
||||
count += w;
|
||||
lastx = x;
|
||||
lastw = w;
|
||||
}
|
||||
}
|
||||
// display matched percent
|
||||
matchedtxt.classList.remove("hide");
|
||||
var pct = 100 * count / maxwidth;
|
||||
if (pct != 100) pct = pct.toFixed(1)
|
||||
matchedtxt.firstChild.nodeValue = "Matched: " + pct + "%";
|
||||
}
|
||||
]]>
|
||||
</script>
|
||||
<rect x="0.0" y="0" width="1200.0" height="262.0" fill="url(#background)" />
|
||||
<text id="title" x="600.00" y="24" >Part 1, before optimisation</text>
|
||||
<text id="details" x="10.00" y="245" > </text>
|
||||
<text id="unzoom" x="10.00" y="24" class="hide">Reset Zoom</text>
|
||||
<text id="search" x="1090.00" y="24" >Search</text>
|
||||
<text id="ignorecase" x="1174.00" y="24" >ic</text>
|
||||
<text id="matched" x="1090.00" y="245" > </text>
|
||||
<g id="frames">
|
||||
<g >
|
||||
<title>generate_permutations:main.py:18 (16 samples, 0.53%)</title><rect x="1182.9" y="101" width="6.3" height="15.0" fill="rgb(208,14,3)" rx="2" ry="2" />
|
||||
<text x="1185.94" y="111.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>one:main.py:64 (3,006 samples, 99.90%)</title><rect x="10.4" y="181" width="1178.8" height="15.0" fill="rgb(227,103,24)" rx="2" ry="2" />
|
||||
<text x="13.39" y="191.5" >one:main.py:64</text>
|
||||
</g>
|
||||
<g >
|
||||
<title>check_broken_length_constraints:main.py:42 (746 samples, 24.79%)</title><rect x="45.7" y="165" width="292.5" height="15.0" fill="rgb(206,5,1)" rx="2" ry="2" />
|
||||
<text x="48.69" y="175.5" >check_broken_length_constraints:main.py..</text>
|
||||
</g>
|
||||
<g >
|
||||
<title>stop:~/.local/lib/python3.10/site-packages/pyflame/sampler.py:29 (1 samples, 0.03%)</title><rect x="1189.6" y="197" width="0.4" height="15.0" fill="rgb(249,206,49)" rx="2" ry="2" />
|
||||
<text x="1192.61" y="207.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>_wait_for_tstate_lock:/usr/lib/python3.10/threading.py:1102 (1 samples, 0.03%)</title><rect x="1189.6" y="165" width="0.4" height="15.0" fill="rgb(237,149,35)" rx="2" ry="2" />
|
||||
<text x="1192.61" y="175.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>wait:/usr/lib/python3.10/threading.py:288 (1 samples, 0.03%)</title><rect x="1189.2" y="149" width="0.4" height="15.0" fill="rgb(239,159,38)" rx="2" ry="2" />
|
||||
<text x="1192.22" y="159.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>generate_permutations:main.py:18 (11 samples, 0.37%)</title><rect x="1184.9" y="85" width="4.3" height="15.0" fill="rgb(208,14,3)" rx="2" ry="2" />
|
||||
<text x="1187.90" y="95.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>all (3,009 samples, 100%)</title><rect x="10.0" y="213" width="1180.0" height="15.0" fill="rgb(213,39,9)" rx="2" ry="2" />
|
||||
<text x="13.00" y="223.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>generate_permutations:main.py:18 (64 samples, 2.13%)</title><rect x="1164.1" y="149" width="25.1" height="15.0" fill="rgb(208,14,3)" rx="2" ry="2" />
|
||||
<text x="1167.12" y="159.5" >g..</text>
|
||||
</g>
|
||||
<g >
|
||||
<title>generate_possible_observations:main.py:27 (2,170 samples, 72.12%)</title><rect x="338.2" y="165" width="851.0" height="15.0" fill="rgb(234,134,32)" rx="2" ry="2" />
|
||||
<text x="341.24" y="175.5" >generate_possible_observations:main.py:27</text>
|
||||
</g>
|
||||
<g >
|
||||
<title>__init__:~/.local/lib/python3.10/site-packages/pyflame/sampler.py:13 (1 samples, 0.03%)</title><rect x="1189.2" y="197" width="0.4" height="15.0" fill="rgb(206,7,1)" rx="2" ry="2" />
|
||||
<text x="1192.22" y="207.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>generate_permutations:main.py:18 (6 samples, 0.20%)</title><rect x="1186.9" y="69" width="2.3" height="15.0" fill="rgb(208,14,3)" rx="2" ry="2" />
|
||||
<text x="1189.86" y="79.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>join:/usr/lib/python3.10/threading.py:1064 (1 samples, 0.03%)</title><rect x="1189.6" y="181" width="0.4" height="15.0" fill="rgb(207,10,2)" rx="2" ry="2" />
|
||||
<text x="1192.61" y="191.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>start:/usr/lib/python3.10/threading.py:916 (1 samples, 0.03%)</title><rect x="1189.2" y="181" width="0.4" height="15.0" fill="rgb(221,73,17)" rx="2" ry="2" />
|
||||
<text x="1192.22" y="191.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title><module>:main.py:1 (3,007 samples, 99.93%)</title><rect x="10.0" y="197" width="1179.2" height="15.0" fill="rgb(214,43,10)" rx="2" ry="2" />
|
||||
<text x="13.00" y="207.5" ><module>:main.py:1</text>
|
||||
</g>
|
||||
<g >
|
||||
<title>generate_permutations:main.py:18 (25 samples, 0.83%)</title><rect x="1179.4" y="117" width="9.8" height="15.0" fill="rgb(208,14,3)" rx="2" ry="2" />
|
||||
<text x="1182.41" y="127.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>generate_permutations:main.py:18 (4 samples, 0.13%)</title><rect x="1187.6" y="53" width="1.6" height="15.0" fill="rgb(208,14,3)" rx="2" ry="2" />
|
||||
<text x="1190.65" y="63.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>generate_permutations:main.py:18 (2 samples, 0.07%)</title><rect x="1188.4" y="37" width="0.8" height="15.0" fill="rgb(208,14,3)" rx="2" ry="2" />
|
||||
<text x="1191.43" y="47.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>wait:/usr/lib/python3.10/threading.py:589 (1 samples, 0.03%)</title><rect x="1189.2" y="165" width="0.4" height="15.0" fill="rgb(213,40,9)" rx="2" ry="2" />
|
||||
<text x="1192.22" y="175.5" ></text>
|
||||
</g>
|
||||
<g >
|
||||
<title>generate_permutations:main.py:18 (35 samples, 1.16%)</title><rect x="1175.5" y="133" width="13.7" height="15.0" fill="rgb(208,14,3)" rx="2" ry="2" />
|
||||
<text x="1178.49" y="143.5" ></text>
|
||||
</g>
|
||||
</g>
|
||||
</svg>
|
||||
|
After Width: | Height: | Size: 17 KiB |
8
challenges/2023/12-hotSprings/tests.json
Normal file
8
challenges/2023/12-hotSprings/tests.json
Normal file
|
|
@ -0,0 +1,8 @@
|
|||
{
|
||||
"1": [
|
||||
{
|
||||
"is": "21",
|
||||
"input": "???.### 1,1,3\n.??..??...?##. 1,1,3\n?#?#?#?#?#?#?#? 1,3,1,6\n????.#...#... 4,1,1\n????.######..#####. 1,6,5\n?###???????? 3,2,1\n\n"
|
||||
}
|
||||
]
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue