mogproject

Poset Inequalities

Day 3

Problem 1

Recall: $\displaystyle e(P-y) = \sum_{C \in \mathcal{C}\colon y\in C} |\{f \in \mathcal{E}(P) : \Phi(f) = C\}|$.

Then,

$$$$

mogproject

/*
 * Custom CSS for Feign running with OBS/Discord Streaming Kit.
 *
 * Recommended browser size: w2600 x h400
 *
 * Modified based on:
 *  - https://piyonyuxu.fanbox.cc/posts/4943228
 *  - https://obs-discord-picture.alfebelow.com/
 *  - https://koumi-hashiba.fanbox.cc/posts/7790890
 */

mogproject

/*
 * Custom horizontal layout CSS running with OBS/Discord Streaming Kit.
 *
 * Recommended browser size: w2600 x h400
 */

[class*="Voice_voiceStates__"] {
  display: flex;
  flex-wrap: nowrap;
  margin: 32px 2px 2px 2px;

mogproject

mogproject

0. Assumptions

• This document is about Method 2 on https://github.com/Kattis/problemtools
• Replace REPO with the path to your local clone of the GitHub repository.
• Assume the REPO contains the problems directory.

1. Set up Docker image

• Install and start Docker Desktop
• Download image: docker pull problemtools/icpc

mogproject

自分用お役立ち情報まとめ

デザイン

• データ視覚化のデザイン
  • https://note.com/goando/n/neb6ea35f1da3
• colorblind-friendly palette
  • https://jfly.uni-koeln.de/color/#pallet
• https://personal.sron.nl/~pault/

mogproject

Python

import gurobipy as gp
from gurobipy import GRB

with gp.Env(empty=True) as env:
    env.start()

    with gp.Model(env=env) as m:

mogproject

#!/usr/bin/env python

import sys
import fileinput
import re

diff = -8

def repl(matched):
    h = int(matched.group(1)) + diff

mogproject

static inline int encode_distance(int start, int distance) { return ((start + 1) << 4) + distance; }

static inline int decode_distance(int x) { return x & ((1 << 4) - 1); }

static inline int node_visited(int x, int v) { return (x >> 4) == v + 1; }

template <typename Graph>
static void extend_closed_neighborhood(Graph const& G, Graph& H, int v, int radius, int buffer[]) {
  assert(0 <= v && v < G.number_of_nodes());
  assert(radius >= 0);

mogproject

#!/bin/bash

TIMEOUT=timeout

run_with_timeout() {
    oldopt=$-
    set +e
    $TIMEOUT $@
    ret=$?
    if [[ $ret -eq 124 ]]; then