Ideone.com

fork download

copy

from itertools import product, combinations_with_replacement
import time
import threading
from collections import defaultdict
import math
 
# 配置参数（可根据需要修改）
TARGET =20000  # 目标值
BASE_VALUES = [36.5, 41.5, 59,68.5, 74, 91.5]  # 基础系数列表
FLUCTUATION = 1.0  # 系数波动范围
MAX_SOLUTIONS = 3  # 每个组合的最大解数量
SOLVER_TIMEOUT = 180  # 求解超时时间(秒)
THREE_VAR_THRESHOLD = 220000  # 使用三个变量的阈值
PRODUCT_RANGE_THRESHOLD = 148000  # 乘积范围限制阈值
HIGH_TARGET_THRESHOLD = 260000  # 更高目标值阈值
SHOW_PROGRESS = True  # 是否显示进度
MAX_SOLUTIONS_PER_COMB = 100  # 每个组合的最大解数量，用于提前终止
 
def is_valid_product(p):
    """检查单个乘积是否在有效范围内"""
    if TARGET > PRODUCT_RANGE_THRESHOLD:
        if TARGET > HIGH_TARGET_THRESHOLD:
            return p <= 115000  # 目标值超过260000时，仅限制最大值
        else:
            return 74000 <= p <= 115000  # 目标值在148000-260000之间时，使用原范围
    else:
        return True  # 目标值较小时不限制乘积范围
 
def find_single_variable_solutions(values):
    """查找单个数的解（a*x = TARGET）"""
    solutions = []
    for a in values:
        x = TARGET / a
        if x.is_integer() and 1 <= x <= 10000 and is_valid_product(a * x):
            solutions.append((a, x))
            if len(solutions) >= MAX_SOLUTIONS:
                return solutions  # 提前终止
    return solutions
 
def find_two_variable_solutions(values):
    """查找两个变量的解（a*x + b*y = TARGET）"""
    solutions = defaultdict(list)
 
    # 生成所有可能的(a, b)组合
    for a in values:
        for b in values:
            if a == b:  # 避免重复
                continue
 
            # 计算x的有效范围
            min_x = max(1, math.ceil((TARGET - b * 10000) / a))
            max_x = min(math.floor((TARGET - 1) / a), 10000)
 
            if max_x < min_x:
                continue
 
            for x in range(min_x, max_x + 1):
                remainder = TARGET - a * x
 
                # 检查remainder是否在可能的范围内
                if remainder < 1 or remainder > b * 10000:
                    continue
 
                # 检查remainder是否能被b整除
                if remainder % b == 0:
                    y = remainder // b
                    if 1 <= y <= 10000 and is_valid_product(b * y):
                        solutions[(a, b)].append((a, x, b, y))
                        if len(solutions[(a, b)]) >= MAX_SOLUTIONS_PER_COMB:
                            break  # 提前终止当前组合的搜索
 
    return solutions
 
def find_three_variable_solutions(values):
    """优化的三变量求解算法"""
    solutions = defaultdict(list)
 
    # 对系数进行排序，便于剪枝
    sorted_values = sorted(values)
 
    # 预计算每个系数的有效范围
    value_ranges = {}
    for a in sorted_values:
        if TARGET > PRODUCT_RANGE_THRESHOLD:
            if TARGET > HIGH_TARGET_THRESHOLD:
                min_x = max(1, math.ceil(1 / a))  # 取消下限，最小为1
                max_x = min(10000, math.floor(115000 / a))
            else:
                min_x = max(1, math.ceil(74000 / a))
                max_x = min(10000, math.floor(115000 / a))
        else:
            min_x = 1
            max_x = 10000
        value_ranges[a] = (min_x, max_x)
 
    total_combinations = len(sorted_values) * (len(sorted_values) - 1) * (len(sorted_values) - 2) // 6
    processed_combinations = 0
 
    # 三重循环，但添加了更多剪枝条件
    for i, a in enumerate(sorted_values):
        min_x, max_x = value_ranges[a]
 
        # 计算可能的x值数量，决定步长
        x_count = max_x - min_x + 1
        x_step = max(1, x_count // 1000)  # 自适应步长
 
        for x in range(min_x, max_x + 1, x_step):
            ax = a * x
            if not is_valid_product(ax):
                continue
 
            remainder1 = TARGET - ax
            if TARGET > PRODUCT_RANGE_THRESHOLD:
                if TARGET > HIGH_TARGET_THRESHOLD:
                    if remainder1 < 0:
                        continue
                else:
                    if remainder1 < 2 * 74000:
                        continue
 
            # 限制b的选择范围，避免重复组合
            for j in range(i + 1, len(sorted_values)):
                b = sorted_values[j]
 
                if TARGET > PRODUCT_RANGE_THRESHOLD:
                    if TARGET > HIGH_TARGET_THRESHOLD:
                        min_y = max(1, math.ceil(1 / b))  # 取消下限，最小为1
                        max_y = min(10000, math.floor(remainder1 / b))
                    else:
                        min_y = max(1, math.ceil(74000 / b))
                        max_y = min(10000, math.floor((remainder1 - 74000) / b))
                else:
                    min_y = 1
                    max_y = math.floor(remainder1 / b)
 
                if max_y < min_y:
                    continue
 
                # 计算可能的y值数量，决定步长
                y_count = max_y - min_y + 1
                y_step = max(1, y_count // 100)  # 自适应步长
 
                for y in range(min_y, max_y + 1, y_step):
                    by = b * y
                    if not is_valid_product(by):
                        continue
 
                    remainder2 = remainder1 - by
                    if TARGET > PRODUCT_RANGE_THRESHOLD:
                        if TARGET > HIGH_TARGET_THRESHOLD:
                            if remainder2 < 0 or remainder2 > 115000:
                                continue
                        else:
                            if remainder2 < 74000 or remainder2 > 115000:
                                continue
 
                    # 限制c的选择范围
                    found_solution = False
                    for k in range(j + 1, len(sorted_values)):
                        c = sorted_values[k]
 
                        # 检查remainder2是否能被c整除
                        if remainder2 % c != 0:
                            continue
 
                        z = remainder2 // c
                        if 1 <= z <= 10000 and is_valid_product(c * z):
                            key = (a, b, c)
                            solutions[key].append((a, x, b, y, c, z))
                            found_solution = True
                            if len(solutions[key]) >= MAX_SOLUTIONS_PER_COMB:
                                break  # 提前终止当前组合的搜索
 
                    # 如果找到解且达到最大数量，跳出y循环
                    if found_solution and len(solutions[key]) >= MAX_SOLUTIONS_PER_COMB:
                        break  # 跳出y循环
 
                # 进度显示
                if SHOW_PROGRESS and j % 10 == 0:
                    print(f"\r三变量组合进度: {processed_combinations}/{total_combinations} 组", end='')
                processed_combinations += 1
 
    if SHOW_PROGRESS:
        print(f"\r三变量组合进度: {processed_combinations}/{total_combinations} 组 - 完成")
 
    return solutions
 
def find_balanced_solutions(solutions, var_count, num=2):
    """从所有解中筛选出最平衡的解"""
    if var_count == 1 or not solutions:
        return solutions  # 单变量或无解时直接返回
 
    # 当目标值超过220000时，不计算平衡解
    if TARGET > THREE_VAR_THRESHOLD:
        return []
 
    # 计算解的平衡性（变量间差异最小）
    balanced = []
    for sol in solutions:
        vars = sol[1::2]  # 提取x, y, z
        diff = max(vars) - min(vars)
        balanced.append((diff, sol))
 
    # 按差异排序，取前num个
    return [s for _, s in sorted(balanced, key=lambda x: x[0])[:num]]
 
def find_original_solutions(solutions, balanced_solutions, num=3):
    """从剩余解中获取原始顺序的解"""
    if not solutions:
        return []
 
    # 排除已在平衡解中的项
    remaining = [s for s in solutions if s not in balanced_solutions]
    return remaining[:num]
 
def display_solutions(solutions_dict, var_count):
    """优化的解显示函数"""
    if not solutions_dict:
        return
 
    print(f"\n找到 {len(solutions_dict)} 组{var_count}变量解：")
 
    for i, (coeffs, pair_solutions) in enumerate(sorted(solutions_dict.items()), 1):
        # 当目标值超过220000时，不显示平衡解
        if TARGET > THREE_VAR_THRESHOLD:
            all_display = pair_solutions[:MAX_SOLUTIONS]
            print_tag = "[原始解]"
        else:
            # 计算平衡解和原始解
            balanced = find_balanced_solutions(pair_solutions, var_count)
            original = find_original_solutions(pair_solutions, balanced)
            all_display = balanced + original
 
        if var_count == 1:
            a = coeffs
            print(f"\n{i}. 组合: a={a} ({len(pair_solutions)} 个有效解)")
        elif var_count == 2:
            a, b = coeffs
            print(f"\n{i}. 组合: a={a}, b={b} ({len(pair_solutions)} 个有效解)")
        else:  # var_count == 3
            a, b, c = coeffs
            print(f"\n{i}. 组合: a={a}, b={b}, c={c} ({len(pair_solutions)} 个有效解)")
 
        for j, sol in enumerate(all_display, 1):
            if TARGET > THREE_VAR_THRESHOLD:
                tag = print_tag
            else:
                tag = "[平衡解]" if j <= len(balanced) else "[原始解]"
 
            if var_count == 1:
                a, x = sol
                print(f"  {j}. x={x}, a*x={a*x:.1f}, 总和={a*x:.1f} {tag}")
            elif var_count == 2:
                a, x, b, y = sol
                print(f"  {j}. x={x}, y={y}, a*x={a*x:.1f}, b*y={b*y:.1f}, 总和={a*x + b*y:.1f} {tag}")
            else:  # var_count == 3
                a, x, b, y, c, z = sol
                print(f"  {j}. x={x}, y={y}, z={z}, "
                      f"a*x={a*x:.1f}, b*y={b*y:.1f}, c*z={c*z:.1f}, "
                      f"总和={a*x + b*y + c*z:.1f} {tag}")
 
def run_with_timeout(func, args=(), kwargs=None, timeout=SOLVER_TIMEOUT):
    """运行函数并设置超时限制"""
    if kwargs is None:
        kwargs = {}
 
    result = []
    error = []
 
    def wrapper():
        try:
            result.append(func(*args, **kwargs))
        except Exception as e:
            error.append(e)
 
    thread = threading.Thread(target=wrapper)
    thread.daemon = True
    thread.start()
    thread.join(timeout)
 
    if thread.is_alive():
        print(f"警告: {func.__name__} 超时（{timeout}秒），跳过此方法")
        return None
 
    if error:
        raise error[0]
 
    return result[0]
 
def main():
    print(f"目标值: {TARGET}")
 
    # 生成波动后的系数
    FLUCTUATED_VALUES = [round(v - FLUCTUATION, 1) for v in BASE_VALUES]
 
    # 尝试基础系数
    print(f"\n==== 尝试基础系数 ====")
 
    # 检查目标值是否超过阈值
    if TARGET > THREE_VAR_THRESHOLD:
        print(f"目标值 {TARGET} 超过阈值 {THREE_VAR_THRESHOLD}，只尝试三变量解")
        base_solutions = {
            'single': [],
            'two': [],
            'three': run_with_timeout(find_three_variable_solutions, args=(BASE_VALUES,))
        }
 
        # 显示三变量解
        if base_solutions['three'] and len(base_solutions['three']) > 0:
            display_solutions(base_solutions['three'], 3)
            print(f"\n使用基础系数列表，共找到有效解")
            return
        else:
            print("\n基础系数三变量无解，尝试波动系数")
    else:
        # 目标值未超过阈值，按顺序尝试单、双、三变量解
        base_solutions = {
            'single': run_with_timeout(find_single_variable_solutions, args=(BASE_VALUES,)),
            'two': run_with_timeout(find_two_variable_solutions, args=(BASE_VALUES,)),
            'three': []
        }
 
        # 检查是否有解
        has_solution = False
 
        # 显示单变量解
        if base_solutions['single']:
            has_solution = True
            display_solutions({a: [sol] for a, sol in zip(BASE_VALUES, base_solutions['single']) if sol}, 1)
 
        # 显示双变量解
        if base_solutions['two'] and len(base_solutions['two']) > 0:
            has_solution = True
            display_solutions(base_solutions['two'], 2)
 
        # 单变量和双变量都无解时，尝试三变量解
        if not has_solution:
            print(f"\n==== 单变量和双变量无解，尝试三变量解 ====")
            base_solutions['three'] = run_with_timeout(find_three_variable_solutions, args=(BASE_VALUES,))
 
            if base_solutions['three'] and len(base_solutions['three']) > 0:
                has_solution = True
                display_solutions(base_solutions['three'], 3)
 
        # 如果找到解，退出程序
        if has_solution:
            print(f"\n使用基础系数列表，共找到有效解")
            return
 
    # 如果基础系数没有找到解，尝试波动系数
    print(f"\n==== 尝试波动系数 ====")
 
    # 检查目标值是否超过阈值
    if TARGET > THREE_VAR_THRESHOLD:
        print(f"目标值 {TARGET} 超过阈值 {THREE_VAR_THRESHOLD}，只尝试三变量解")
        fluctuated_solutions = {
            'single': [],
            'two': [],
            'three': run_with_timeout(find_three_variable_solutions, args=(FLUCTUATED_VALUES,))
        }
 
        # 显示三变量解
        if fluctuated_solutions['three'] and len(fluctuated_solutions['three']) > 0:
            display_solutions(fluctuated_solutions['three'], 3)
            print(f"\n使用波动系数列表，共找到有效解")
            return
    else:
        # 目标值未超过阈值，按顺序尝试单、双、三变量解
        fluctuated_solutions = {
            'single': run_with_timeout(find_single_variable_solutions, args=(FLUCTUATED_VALUES,)),
            'two': run_with_timeout(find_two_variable_solutions, args=(FLUCTUATED_VALUES,)),
            'three': []
        }
 
        # 重置标志
        has_solution = False
 
        # 显示单变量解
        if fluctuated_solutions['single']:
            has_solution = True
            display_solutions({a: [sol] for a, sol in zip(FLUCTUATED_VALUES, fluctuated_solutions['single']) if sol}, 1)
 
        # 显示双变量解
        if fluctuated_solutions['two'] and len(fluctuated_solutions['two']) > 0:
            has_solution = True
            display_solutions(fluctuated_solutions['two'], 2)
 
        # 单变量和双变量都无解时，尝试三变量解
        if not has_solution:
            print(f"\n==== 单变量和双变量无解，尝试三变量解 ====")
            fluctuated_solutions['three'] = run_with_timeout(find_three_variable_solutions, args=(FLUCTUATED_VALUES,))
 
            if fluctuated_solutions['three'] and len(fluctuated_solutions['three']) > 0:
                has_solution = True
                display_solutions(fluctuated_solutions['three'], 3)
 
        # 如果找到解，退出程序
        if has_solution:
            print(f"\n使用波动系数列表，共找到有效解")
            return
 
    # 如果所有系数集都没有找到解
    print("\n没有找到符合条件的解，即使使用波动后的系数列表。")
 
if __name__ == "__main__":
    start_time = time.time()
    main()
    print(f"\n总耗时: {time.time() - start_time:.2f}秒")

ZnJvbSBpdGVydG9vbHMgaW1wb3J0IHByb2R1Y3QsIGNvbWJpbmF0aW9uc193aXRoX3JlcGxhY2VtZW50CmltcG9ydCB0aW1lCmltcG9ydCB0aHJlYWRpbmcKZnJvbSBjb2xsZWN0aW9ucyBpbXBvcnQgZGVmYXVsdGRpY3QKaW1wb3J0IG1hdGgKCiMg6YWN572u5Y+C5pWw77yI5Y+v5qC55o2u6ZyA6KaB5L+u5pS577yJClRBUkdFVCA9MjAwMDAgICMg55uu5qCH5YC8CkJBU0VfVkFMVUVTID0gWzM2LjUsIDQxLjUsIDU5LDY4LjUsIDc0LCA5MS41XSAgIyDln7rnoYDns7vmlbDliJfooagKRkxVQ1RVQVRJT04gPSAxLjAgICMg57O75pWw5rOi5Yqo6IyD5Zu0Ck1BWF9TT0xVVElPTlMgPSAzICAjIOavj+S4que7hOWQiOeahOacgOWkp+ino+aVsOmHjwpTT0xWRVJfVElNRU9VVCA9IDE4MCAgIyDmsYLop6PotoXml7bml7bpl7Qo56eSKQpUSFJFRV9WQVJfVEhSRVNIT0xEID0gMjIwMDAwICAjIOS9v+eUqOS4ieS4quWPmOmHj+eahOmYiOWAvApQUk9EVUNUX1JBTkdFX1RIUkVTSE9MRCA9IDE0ODAwMCAgIyDkuZjnp6/ojIPlm7TpmZDliLbpmIjlgLwKSElHSF9UQVJHRVRfVEhSRVNIT0xEID0gMjYwMDAwICAjIOabtOmrmOebruagh+WAvOmYiOWAvApTSE9XX1BST0dSRVNTID0gVHJ1ZSAgIyDmmK/lkKbmmL7npLrov5vluqYKTUFYX1NPTFVUSU9OU19QRVJfQ09NQiA9IDEwMCAgIyDmr4/kuKrnu4TlkIjnmoTmnIDlpKfop6PmlbDph4/vvIznlKjkuo7mj5DliY3nu4jmraIKCmRlZiBpc192YWxpZF9wcm9kdWN0KHApOgogICAgIiIi5qOA5p+l5Y2V5Liq5LmY56ev5piv5ZCm5Zyo5pyJ5pWI6IyD5Zu05YaFIiIiCiAgICBpZiBUQVJHRVQgPiBQUk9EVUNUX1JBTkdFX1RIUkVTSE9MRDoKICAgICAgICBpZiBUQVJHRVQgPiBISUdIX1RBUkdFVF9USFJFU0hPTEQ6CiAgICAgICAgICAgIHJldHVybiBwIDw9IDExNTAwMCAgIyDnm67moIflgLzotoXov4cyNjAwMDDml7bvvIzku4XpmZDliLbmnIDlpKflgLwKICAgICAgICBlbHNlOgogICAgICAgICAgICByZXR1cm4gNzQwMDAgPD0gcCA8PSAxMTUwMDAgICMg55uu5qCH5YC85ZyoMTQ4MDAwLTI2MDAwMOS5i+mXtOaXtu+8jOS9v+eUqOWOn+iMg+WbtAogICAgZWxzZToKICAgICAgICByZXR1cm4gVHJ1ZSAgIyDnm67moIflgLzovoPlsI/ml7bkuI3pmZDliLbkuZjnp6/ojIPlm7QKCmRlZiBmaW5kX3NpbmdsZV92YXJpYWJsZV9zb2x1dGlvbnModmFsdWVzKToKICAgICIiIuafpeaJvuWNleS4quaVsOeahOino++8iGEqeCA9IFRBUkdFVO+8iSIiIgogICAgc29sdXRpb25zID0gW10KICAgIGZvciBhIGluIHZhbHVlczoKICAgICAgICB4ID0gVEFSR0VUIC8gYQogICAgICAgIGlmIHguaXNfaW50ZWdlcigpIGFuZCAxIDw9IHggPD0gMTAwMDAgYW5kIGlzX3ZhbGlkX3Byb2R1Y3QoYSAqIHgpOgogICAgICAgICAgICBzb2x1dGlvbnMuYXBwZW5kKChhLCB4KSkKICAgICAgICAgICAgaWYgbGVuKHNvbHV0aW9ucykgPj0gTUFYX1NPTFVUSU9OUzoKICAgICAgICAgICAgICAgIHJldHVybiBzb2x1dGlvbnMgICMg5o+Q5YmN57uI5q2iCiAgICByZXR1cm4gc29sdXRpb25zCgpkZWYgZmluZF90d29fdmFyaWFibGVfc29sdXRpb25zKHZhbHVlcyk6CiAgICAiIiLmn6Xmib7kuKTkuKrlj5jph4/nmoTop6PvvIhhKnggKyBiKnkgPSBUQVJHRVTvvIkiIiIKICAgIHNvbHV0aW9ucyA9IGRlZmF1bHRkaWN0KGxpc3QpCiAgICAKICAgICMg55Sf5oiQ5omA5pyJ5Y+v6IO955qEKGEsIGIp57uE5ZCICiAgICBmb3IgYSBpbiB2YWx1ZXM6CiAgICAgICAgZm9yIGIgaW4gdmFsdWVzOgogICAgICAgICAgICBpZiBhID09IGI6ICAjIOmBv+WFjemHjeWkjQogICAgICAgICAgICAgICAgY29udGludWUKICAgICAgICAgICAgICAgIAogICAgICAgICAgICAjIOiuoeeul3jnmoTmnInmlYjojIPlm7QKICAgICAgICAgICAgbWluX3ggPSBtYXgoMSwgbWF0aC5jZWlsKChUQVJHRVQgLSBiICogMTAwMDApIC8gYSkpCiAgICAgICAgICAgIG1heF94ID0gbWluKG1hdGguZmxvb3IoKFRBUkdFVCAtIDEpIC8gYSksIDEwMDAwKQogICAgICAgICAgICAKICAgICAgICAgICAgaWYgbWF4X3ggPCBtaW5feDoKICAgICAgICAgICAgICAgIGNvbnRpbnVlCiAgICAgICAgICAgICAgICAKICAgICAgICAgICAgZm9yIHggaW4gcmFuZ2UobWluX3gsIG1heF94ICsgMSk6CiAgICAgICAgICAgICAgICByZW1haW5kZXIgPSBUQVJHRVQgLSBhICogeAogICAgICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAjIOajgOafpXJlbWFpbmRlcuaYr+WQpuWcqOWPr+iDveeahOiMg+WbtOWGhQogICAgICAgICAgICAgICAgaWYgcmVtYWluZGVyIDwgMSBvciByZW1haW5kZXIgPiBiICogMTAwMDA6CiAgICAgICAgICAgICAgICAgICAgY29udGludWUKICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICMg5qOA5p+lcmVtYWluZGVy5piv5ZCm6IO96KKrYuaVtOmZpAogICAgICAgICAgICAgICAgaWYgcmVtYWluZGVyICUgYiA9PSAwOgogICAgICAgICAgICAgICAgICAgIHkgPSByZW1haW5kZXIgLy8gYgogICAgICAgICAgICAgICAgICAgIGlmIDEgPD0geSA8PSAxMDAwMCBhbmQgaXNfdmFsaWRfcHJvZHVjdChiICogeSk6CiAgICAgICAgICAgICAgICAgICAgICAgIHNvbHV0aW9uc1soYSwgYildLmFwcGVuZCgoYSwgeCwgYiwgeSkpCiAgICAgICAgICAgICAgICAgICAgICAgIGlmIGxlbihzb2x1dGlvbnNbKGEsIGIpXSkgPj0gTUFYX1NPTFVUSU9OU19QRVJfQ09NQjoKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJyZWFrICAjIOaPkOWJjee7iOatouW9k+WJjee7hOWQiOeahOaQnOe0ogogICAgCiAgICByZXR1cm4gc29sdXRpb25zCgpkZWYgZmluZF90aHJlZV92YXJpYWJsZV9zb2x1dGlvbnModmFsdWVzKToKICAgICIiIuS8mOWMlueahOS4ieWPmOmHj+axguino+eul+azlSIiIgogICAgc29sdXRpb25zID0gZGVmYXVsdGRpY3QobGlzdCkKICAgIAogICAgIyDlr7nns7vmlbDov5vooYzmjpLluo/vvIzkvr/kuo7liarmnp0KICAgIHNvcnRlZF92YWx1ZXMgPSBzb3J0ZWQodmFsdWVzKQogICAgCiAgICAjIOmihOiuoeeul+avj+S4quezu+aVsOeahOacieaViOiMg+WbtAogICAgdmFsdWVfcmFuZ2VzID0ge30KICAgIGZvciBhIGluIHNvcnRlZF92YWx1ZXM6CiAgICAgICAgaWYgVEFSR0VUID4gUFJPRFVDVF9SQU5HRV9USFJFU0hPTEQ6CiAgICAgICAgICAgIGlmIFRBUkdFVCA+IEhJR0hfVEFSR0VUX1RIUkVTSE9MRDoKICAgICAgICAgICAgICAgIG1pbl94ID0gbWF4KDEsIG1hdGguY2VpbCgxIC8gYSkpICAjIOWPlua2iOS4i+mZkO+8jOacgOWwj+S4ujEKICAgICAgICAgICAgICAgIG1heF94ID0gbWluKDEwMDAwLCBtYXRoLmZsb29yKDExNTAwMCAvIGEpKQogICAgICAgICAgICBlbHNlOgogICAgICAgICAgICAgICAgbWluX3ggPSBtYXgoMSwgbWF0aC5jZWlsKDc0MDAwIC8gYSkpCiAgICAgICAgICAgICAgICBtYXhfeCA9IG1pbigxMDAwMCwgbWF0aC5mbG9vcigxMTUwMDAgLyBhKSkKICAgICAgICBlbHNlOgogICAgICAgICAgICBtaW5feCA9IDEKICAgICAgICAgICAgbWF4X3ggPSAxMDAwMAogICAgICAgIHZhbHVlX3Jhbmdlc1thXSA9IChtaW5feCwgbWF4X3gpCiAgICAKICAgIHRvdGFsX2NvbWJpbmF0aW9ucyA9IGxlbihzb3J0ZWRfdmFsdWVzKSAqIChsZW4oc29ydGVkX3ZhbHVlcykgLSAxKSAqIChsZW4oc29ydGVkX3ZhbHVlcykgLSAyKSAvLyA2CiAgICBwcm9jZXNzZWRfY29tYmluYXRpb25zID0gMAogICAgCiAgICAjIOS4iemHjeW+queOr++8jOS9hua3u+WKoOS6huabtOWkmuWJquaeneadoeS7tgogICAgZm9yIGksIGEgaW4gZW51bWVyYXRlKHNvcnRlZF92YWx1ZXMpOgogICAgICAgIG1pbl94LCBtYXhfeCA9IHZhbHVlX3Jhbmdlc1thXQogICAgICAgIAogICAgICAgICMg6K6h566X5Y+v6IO955qEeOWAvOaVsOmHj++8jOWGs+WumuatpemVvwogICAgICAgIHhfY291bnQgPSBtYXhfeCAtIG1pbl94ICsgMQogICAgICAgIHhfc3RlcCA9IG1heCgxLCB4X2NvdW50IC8vIDEwMDApICAjIOiHqumAguW6lOatpemVvwogICAgICAgIAogICAgICAgIGZvciB4IGluIHJhbmdlKG1pbl94LCBtYXhfeCArIDEsIHhfc3RlcCk6CiAgICAgICAgICAgIGF4ID0gYSAqIHgKICAgICAgICAgICAgaWYgbm90IGlzX3ZhbGlkX3Byb2R1Y3QoYXgpOgogICAgICAgICAgICAgICAgY29udGludWUKICAgICAgICAgICAgICAgIAogICAgICAgICAgICByZW1haW5kZXIxID0gVEFSR0VUIC0gYXgKICAgICAgICAgICAgaWYgVEFSR0VUID4gUFJPRFVDVF9SQU5HRV9USFJFU0hPTEQ6CiAgICAgICAgICAgICAgICBpZiBUQVJHRVQgPiBISUdIX1RBUkdFVF9USFJFU0hPTEQ6CiAgICAgICAgICAgICAgICAgICAgaWYgcmVtYWluZGVyMSA8IDA6CiAgICAgICAgICAgICAgICAgICAgICAgIGNvbnRpbnVlCiAgICAgICAgICAgICAgICBlbHNlOgogICAgICAgICAgICAgICAgICAgIGlmIHJlbWFpbmRlcjEgPCAyICogNzQwMDA6CiAgICAgICAgICAgICAgICAgICAgICAgIGNvbnRpbnVlCiAgICAgICAgICAgICAgICAKICAgICAgICAgICAgIyDpmZDliLZi55qE6YCJ5oup6IyD5Zu077yM6YG/5YWN6YeN5aSN57uE5ZCICiAgICAgICAgICAgIGZvciBqIGluIHJhbmdlKGkgKyAxLCBsZW4oc29ydGVkX3ZhbHVlcykpOgogICAgICAgICAgICAgICAgYiA9IHNvcnRlZF92YWx1ZXNbal0KICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgaWYgVEFSR0VUID4gUFJPRFVDVF9SQU5HRV9USFJFU0hPTEQ6CiAgICAgICAgICAgICAgICAgICAgaWYgVEFSR0VUID4gSElHSF9UQVJHRVRfVEhSRVNIT0xEOgogICAgICAgICAgICAgICAgICAgICAgICBtaW5feSA9IG1heCgxLCBtYXRoLmNlaWwoMSAvIGIpKSAgIyDlj5bmtojkuIvpmZDvvIzmnIDlsI/kuLoxCiAgICAgICAgICAgICAgICAgICAgICAgIG1heF95ID0gbWluKDEwMDAwLCBtYXRoLmZsb29yKHJlbWFpbmRlcjEgLyBiKSkKICAgICAgICAgICAgICAgICAgICBlbHNlOgogICAgICAgICAgICAgICAgICAgICAgICBtaW5feSA9IG1heCgxLCBtYXRoLmNlaWwoNzQwMDAgLyBiKSkKICAgICAgICAgICAgICAgICAgICAgICAgbWF4X3kgPSBtaW4oMTAwMDAsIG1hdGguZmxvb3IoKHJlbWFpbmRlcjEgLSA3NDAwMCkgLyBiKSkKICAgICAgICAgICAgICAgIGVsc2U6CiAgICAgICAgICAgICAgICAgICAgbWluX3kgPSAxCiAgICAgICAgICAgICAgICAgICAgbWF4X3kgPSBtYXRoLmZsb29yKHJlbWFpbmRlcjEgLyBiKQogICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgaWYgbWF4X3kgPCBtaW5feToKICAgICAgICAgICAgICAgICAgICBjb250aW51ZQogICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgIyDorqHnrpflj6/og73nmoR55YC85pWw6YeP77yM5Yaz5a6a5q2l6ZW/CiAgICAgICAgICAgICAgICB5X2NvdW50ID0gbWF4X3kgLSBtaW5feSArIDEKICAgICAgICAgICAgICAgIHlfc3RlcCA9IG1heCgxLCB5X2NvdW50IC8vIDEwMCkgICMg6Ieq6YCC5bqU5q2l6ZW/CiAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgIGZvciB5IGluIHJhbmdlKG1pbl95LCBtYXhfeSArIDEsIHlfc3RlcCk6CiAgICAgICAgICAgICAgICAgICAgYnkgPSBiICogeQogICAgICAgICAgICAgICAgICAgIGlmIG5vdCBpc192YWxpZF9wcm9kdWN0KGJ5KToKICAgICAgICAgICAgICAgICAgICAgICAgY29udGludWUKICAgICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAgcmVtYWluZGVyMiA9IHJlbWFpbmRlcjEgLSBieQogICAgICAgICAgICAgICAgICAgIGlmIFRBUkdFVCA+IFBST0RVQ1RfUkFOR0VfVEhSRVNIT0xEOgogICAgICAgICAgICAgICAgICAgICAgICBpZiBUQVJHRVQgPiBISUdIX1RBUkdFVF9USFJFU0hPTEQ6CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZiByZW1haW5kZXIyIDwgMCBvciByZW1haW5kZXIyID4gMTE1MDAwOgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGNvbnRpbnVlCiAgICAgICAgICAgICAgICAgICAgICAgIGVsc2U6CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZiByZW1haW5kZXIyIDwgNzQwMDAgb3IgcmVtYWluZGVyMiA+IDExNTAwMDoKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBjb250aW51ZQogICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAgICAjIOmZkOWItmPnmoTpgInmi6nojIPlm7QKICAgICAgICAgICAgICAgICAgICBmb3VuZF9zb2x1dGlvbiA9IEZhbHNlCiAgICAgICAgICAgICAgICAgICAgZm9yIGsgaW4gcmFuZ2UoaiArIDEsIGxlbihzb3J0ZWRfdmFsdWVzKSk6CiAgICAgICAgICAgICAgICAgICAgICAgIGMgPSBzb3J0ZWRfdmFsdWVzW2tdCiAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICAgICAjIOajgOafpXJlbWFpbmRlcjLmmK/lkKbog73ooqtj5pW06ZmkCiAgICAgICAgICAgICAgICAgICAgICAgIGlmIHJlbWFpbmRlcjIgJSBjICE9IDA6CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBjb250aW51ZQogICAgICAgICAgICAgICAgICAgICAgICAgICAgCiAgICAgICAgICAgICAgICAgICAgICAgIHogPSByZW1haW5kZXIyIC8vIGMKICAgICAgICAgICAgICAgICAgICAgICAgaWYgMSA8PSB6IDw9IDEwMDAwIGFuZCBpc192YWxpZF9wcm9kdWN0KGMgKiB6KToKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGtleSA9IChhLCBiLCBjKQogICAgICAgICAgICAgICAgICAgICAgICAgICAgc29sdXRpb25zW2tleV0uYXBwZW5kKChhLCB4LCBiLCB5LCBjLCB6KSkKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGZvdW5kX3NvbHV0aW9uID0gVHJ1ZQogICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYgbGVuKHNvbHV0aW9uc1trZXldKSA+PSBNQVhfU09MVVRJT05TX1BFUl9DT01COgogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJyZWFrICAjIOaPkOWJjee7iOatouW9k+WJjee7hOWQiOeahOaQnOe0ogogICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgICAgICMg5aaC5p6c5om+5Yiw6Kej5LiU6L6+5Yiw5pyA5aSn5pWw6YeP77yM6Lez5Ye6eeW+queOrwogICAgICAgICAgICAgICAgICAgIGlmIGZvdW5kX3NvbHV0aW9uIGFuZCBsZW4oc29sdXRpb25zW2tleV0pID49IE1BWF9TT0xVVElPTlNfUEVSX0NPTUI6CiAgICAgICAgICAgICAgICAgICAgICAgIGJyZWFrICAjIOi3s+WHunnlvqrnjq8KICAgICAgICAgICAgICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgIyDov5vluqbmmL7npLoKICAgICAgICAgICAgICAgIGlmIFNIT1dfUFJPR1JFU1MgYW5kIGogJSAxMCA9PSAwOgogICAgICAgICAgICAgICAgICAgIHByaW50KGYiXHLkuInlj5jph4/nu4TlkIjov5vluqY6IHtwcm9jZXNzZWRfY29tYmluYXRpb25zfS97dG90YWxfY29tYmluYXRpb25zfSDnu4QiLCBlbmQ9JycpCiAgICAgICAgICAgICAgICBwcm9jZXNzZWRfY29tYmluYXRpb25zICs9IDEKICAgIAogICAgaWYgU0hPV19QUk9HUkVTUzoKICAgICAgICBwcmludChmIlxy5LiJ5Y+Y6YeP57uE5ZCI6L+b5bqmOiB7cHJvY2Vzc2VkX2NvbWJpbmF0aW9uc30ve3RvdGFsX2NvbWJpbmF0aW9uc30g57uEIC0g5a6M5oiQIikKICAgIAogICAgcmV0dXJuIHNvbHV0aW9ucwoKZGVmIGZpbmRfYmFsYW5jZWRfc29sdXRpb25zKHNvbHV0aW9ucywgdmFyX2NvdW50LCBudW09Mik6CiAgICAiIiLku47miYDmnInop6PkuK3nrZvpgInlh7rmnIDlubPooaHnmoTop6MiIiIKICAgIGlmIHZhcl9jb3VudCA9PSAxIG9yIG5vdCBzb2x1dGlvbnM6CiAgICAgICAgcmV0dXJuIHNvbHV0aW9ucyAgIyDljZXlj5jph4/miJbml6Dop6Pml7bnm7TmjqXov5Tlm54KICAgIAogICAgIyDlvZPnm67moIflgLzotoXov4cyMjAwMDDml7bvvIzkuI3orqHnrpflubPooaHop6MKICAgIGlmIFRBUkdFVCA+IFRIUkVFX1ZBUl9USFJFU0hPTEQ6CiAgICAgICAgcmV0dXJuIFtdCiAgICAKICAgICMg6K6h566X6Kej55qE5bmz6KGh5oCn77yI5Y+Y6YeP6Ze05beu5byC5pyA5bCP77yJCiAgICBiYWxhbmNlZCA9IFtdCiAgICBmb3Igc29sIGluIHNvbHV0aW9uczoKICAgICAgICB2YXJzID0gc29sWzE6OjJdICAjIOaPkOWPlngsIHksIHoKICAgICAgICBkaWZmID0gbWF4KHZhcnMpIC0gbWluKHZhcnMpCiAgICAgICAgYmFsYW5jZWQuYXBwZW5kKChkaWZmLCBzb2wpKQogICAgCiAgICAjIOaMieW3ruW8guaOkuW6j++8jOWPluWJjW51beS4qgogICAgcmV0dXJuIFtzIGZvciBfLCBzIGluIHNvcnRlZChiYWxhbmNlZCwga2V5PWxhbWJkYSB4OiB4WzBdKVs6bnVtXV0KCmRlZiBmaW5kX29yaWdpbmFsX3NvbHV0aW9ucyhzb2x1dGlvbnMsIGJhbGFuY2VkX3NvbHV0aW9ucywgbnVtPTMpOgogICAgIiIi5LuO5Ymp5L2Z6Kej5Lit6I635Y+W5Y6f5aeL6aG65bqP55qE6KejIiIiCiAgICBpZiBub3Qgc29sdXRpb25zOgogICAgICAgIHJldHVybiBbXQogICAgCiAgICAjIOaOkumZpOW3suWcqOW5s+ihoeino+S4reeahOmhuQogICAgcmVtYWluaW5nID0gW3MgZm9yIHMgaW4gc29sdXRpb25zIGlmIHMgbm90IGluIGJhbGFuY2VkX3NvbHV0aW9uc10KICAgIHJldHVybiByZW1haW5pbmdbOm51bV0KCmRlZiBkaXNwbGF5X3NvbHV0aW9ucyhzb2x1dGlvbnNfZGljdCwgdmFyX2NvdW50KToKICAgICIiIuS8mOWMlueahOino+aYvuekuuWHveaVsCIiIgogICAgaWYgbm90IHNvbHV0aW9uc19kaWN0OgogICAgICAgIHJldHVybgogICAgCiAgICBwcmludChmIlxu5om+5YiwIHtsZW4oc29sdXRpb25zX2RpY3QpfSDnu4R7dmFyX2NvdW50feWPmOmHj+ino++8miIpCiAgICAKICAgIGZvciBpLCAoY29lZmZzLCBwYWlyX3NvbHV0aW9ucykgaW4gZW51bWVyYXRlKHNvcnRlZChzb2x1dGlvbnNfZGljdC5pdGVtcygpKSwgMSk6CiAgICAgICAgIyDlvZPnm67moIflgLzotoXov4cyMjAwMDDml7bvvIzkuI3mmL7npLrlubPooaHop6MKICAgICAgICBpZiBUQVJHRVQgPiBUSFJFRV9WQVJfVEhSRVNIT0xEOgogICAgICAgICAgICBhbGxfZGlzcGxheSA9IHBhaXJfc29sdXRpb25zWzpNQVhfU09MVVRJT05TXQogICAgICAgICAgICBwcmludF90YWcgPSAiW+WOn+Wni+ino10iCiAgICAgICAgZWxzZToKICAgICAgICAgICAgIyDorqHnrpflubPooaHop6Plkozljp/lp4vop6MKICAgICAgICAgICAgYmFsYW5jZWQgPSBmaW5kX2JhbGFuY2VkX3NvbHV0aW9ucyhwYWlyX3NvbHV0aW9ucywgdmFyX2NvdW50KQogICAgICAgICAgICBvcmlnaW5hbCA9IGZpbmRfb3JpZ2luYWxfc29sdXRpb25zKHBhaXJfc29sdXRpb25zLCBiYWxhbmNlZCkKICAgICAgICAgICAgYWxsX2Rpc3BsYXkgPSBiYWxhbmNlZCArIG9yaWdpbmFsCiAgICAgICAgCiAgICAgICAgaWYgdmFyX2NvdW50ID09IDE6CiAgICAgICAgICAgIGEgPSBjb2VmZnMKICAgICAgICAgICAgcHJpbnQoZiJcbntpfS4g57uE5ZCIOiBhPXthfSAoe2xlbihwYWlyX3NvbHV0aW9ucyl9IOS4quacieaViOinoykiKQogICAgICAgIGVsaWYgdmFyX2NvdW50ID09IDI6CiAgICAgICAgICAgIGEsIGIgPSBjb2VmZnMKICAgICAgICAgICAgcHJpbnQoZiJcbntpfS4g57uE5ZCIOiBhPXthfSwgYj17Yn0gKHtsZW4ocGFpcl9zb2x1dGlvbnMpfSDkuKrmnInmlYjop6MpIikKICAgICAgICBlbHNlOiAgIyB2YXJfY291bnQgPT0gMwogICAgICAgICAgICBhLCBiLCBjID0gY29lZmZzCiAgICAgICAgICAgIHByaW50KGYiXG57aX0uIOe7hOWQiDogYT17YX0sIGI9e2J9LCBjPXtjfSAoe2xlbihwYWlyX3NvbHV0aW9ucyl9IOS4quacieaViOinoykiKQogICAgICAgIAogICAgICAgIGZvciBqLCBzb2wgaW4gZW51bWVyYXRlKGFsbF9kaXNwbGF5LCAxKToKICAgICAgICAgICAgaWYgVEFSR0VUID4gVEhSRUVfVkFSX1RIUkVTSE9MRDoKICAgICAgICAgICAgICAgIHRhZyA9IHByaW50X3RhZwogICAgICAgICAgICBlbHNlOgogICAgICAgICAgICAgICAgdGFnID0gIlvlubPooaHop6NdIiBpZiBqIDw9IGxlbihiYWxhbmNlZCkgZWxzZSAiW+WOn+Wni+ino10iCiAgICAgICAgICAgIAogICAgICAgICAgICBpZiB2YXJfY291bnQgPT0gMToKICAgICAgICAgICAgICAgIGEsIHggPSBzb2wKICAgICAgICAgICAgICAgIHByaW50KGYiICB7an0uIHg9e3h9LCBhKng9e2EqeDouMWZ9LCDmgLvlkow9e2EqeDouMWZ9IHt0YWd9IikKICAgICAgICAgICAgZWxpZiB2YXJfY291bnQgPT0gMjoKICAgICAgICAgICAgICAgIGEsIHgsIGIsIHkgPSBzb2wKICAgICAgICAgICAgICAgIHByaW50KGYiICB7an0uIHg9e3h9LCB5PXt5fSwgYSp4PXthKng6LjFmfSwgYip5PXtiKnk6LjFmfSwg5oC75ZKMPXthKnggKyBiKnk6LjFmfSB7dGFnfSIpCiAgICAgICAgICAgIGVsc2U6ICAjIHZhcl9jb3VudCA9PSAzCiAgICAgICAgICAgICAgICBhLCB4LCBiLCB5LCBjLCB6ID0gc29sCiAgICAgICAgICAgICAgICBwcmludChmIiAge2p9LiB4PXt4fSwgeT17eX0sIHo9e3p9LCAiCiAgICAgICAgICAgICAgICAgICAgICBmImEqeD17YSp4Oi4xZn0sIGIqeT17Yip5Oi4xZn0sIGMqej17Yyp6Oi4xZn0sICIKICAgICAgICAgICAgICAgICAgICAgIGYi5oC75ZKMPXthKnggKyBiKnkgKyBjKno6LjFmfSB7dGFnfSIpCgpkZWYgcnVuX3dpdGhfdGltZW91dChmdW5jLCBhcmdzPSgpLCBrd2FyZ3M9Tm9uZSwgdGltZW91dD1TT0xWRVJfVElNRU9VVCk6CiAgICAiIiLov5DooYzlh73mlbDlubborr7nva7otoXml7bpmZDliLYiIiIKICAgIGlmIGt3YXJncyBpcyBOb25lOgogICAgICAgIGt3YXJncyA9IHt9CiAgICAKICAgIHJlc3VsdCA9IFtdCiAgICBlcnJvciA9IFtdCiAgICAKICAgIGRlZiB3cmFwcGVyKCk6CiAgICAgICAgdHJ5OgogICAgICAgICAgICByZXN1bHQuYXBwZW5kKGZ1bmMoKmFyZ3MsICoqa3dhcmdzKSkKICAgICAgICBleGNlcHQgRXhjZXB0aW9uIGFzIGU6CiAgICAgICAgICAgIGVycm9yLmFwcGVuZChlKQogICAgCiAgICB0aHJlYWQgPSB0aHJlYWRpbmcuVGhyZWFkKHRhcmdldD13cmFwcGVyKQogICAgdGhyZWFkLmRhZW1vbiA9IFRydWUKICAgIHRocmVhZC5zdGFydCgpCiAgICB0aHJlYWQuam9pbih0aW1lb3V0KQogICAgCiAgICBpZiB0aHJlYWQuaXNfYWxpdmUoKToKICAgICAgICBwcmludChmIuitpuWRijoge2Z1bmMuX19uYW1lX199IOi2heaXtu+8iHt0aW1lb3V0feenku+8ie+8jOi3s+i/h+atpOaWueazlSIpCiAgICAgICAgcmV0dXJuIE5vbmUKICAgIAogICAgaWYgZXJyb3I6CiAgICAgICAgcmFpc2UgZXJyb3JbMF0KICAgIAogICAgcmV0dXJuIHJlc3VsdFswXQoKZGVmIG1haW4oKToKICAgIHByaW50KGYi55uu5qCH5YC8OiB7VEFSR0VUfSIpCiAgICAKICAgICMg55Sf5oiQ5rOi5Yqo5ZCO55qE57O75pWwCiAgICBGTFVDVFVBVEVEX1ZBTFVFUyA9IFtyb3VuZCh2IC0gRkxVQ1RVQVRJT04sIDEpIGZvciB2IGluIEJBU0VfVkFMVUVTXQogICAgCiAgICAjIOWwneivleWfuuehgOezu+aVsAogICAgcHJpbnQoZiJcbj09PT0g5bCd6K+V5Z+656GA57O75pWwID09PT0iKQogICAgCiAgICAjIOajgOafpeebruagh+WAvOaYr+WQpui2hei/h+mYiOWAvAogICAgaWYgVEFSR0VUID4gVEhSRUVfVkFSX1RIUkVTSE9MRDoKICAgICAgICBwcmludChmIuebruagh+WAvCB7VEFSR0VUfSDotoXov4fpmIjlgLwge1RIUkVFX1ZBUl9USFJFU0hPTER977yM5Y+q5bCd6K+V5LiJ5Y+Y6YeP6KejIikKICAgICAgICBiYXNlX3NvbHV0aW9ucyA9IHsKICAgICAgICAgICAgJ3NpbmdsZSc6IFtdLAogICAgICAgICAgICAndHdvJzogW10sCiAgICAgICAgICAgICd0aHJlZSc6IHJ1bl93aXRoX3RpbWVvdXQoZmluZF90aHJlZV92YXJpYWJsZV9zb2x1dGlvbnMsIGFyZ3M9KEJBU0VfVkFMVUVTLCkpCiAgICAgICAgfQogICAgICAgIAogICAgICAgICMg5pi+56S65LiJ5Y+Y6YeP6KejCiAgICAgICAgaWYgYmFzZV9zb2x1dGlvbnNbJ3RocmVlJ10gYW5kIGxlbihiYXNlX3NvbHV0aW9uc1sndGhyZWUnXSkgPiAwOgogICAgICAgICAgICBkaXNwbGF5X3NvbHV0aW9ucyhiYXNlX3NvbHV0aW9uc1sndGhyZWUnXSwgMykKICAgICAgICAgICAgcHJpbnQoZiJcbuS9v+eUqOWfuuehgOezu+aVsOWIl+ihqO+8jOWFseaJvuWIsOacieaViOinoyIpCiAgICAgICAgICAgIHJldHVybgogICAgICAgIGVsc2U6CiAgICAgICAgICAgIHByaW50KCJcbuWfuuehgOezu+aVsOS4ieWPmOmHj+aXoOino++8jOWwneivleazouWKqOezu+aVsCIpCiAgICBlbHNlOgogICAgICAgICMg55uu5qCH5YC85pyq6LaF6L+H6ZiI5YC877yM5oyJ6aG65bqP5bCd6K+V5Y2V44CB5Y+M44CB5LiJ5Y+Y6YeP6KejCiAgICAgICAgYmFzZV9zb2x1dGlvbnMgPSB7CiAgICAgICAgICAgICdzaW5nbGUnOiBydW5fd2l0aF90aW1lb3V0KGZpbmRfc2luZ2xlX3ZhcmlhYmxlX3NvbHV0aW9ucywgYXJncz0oQkFTRV9WQUxVRVMsKSksCiAgICAgICAgICAgICd0d28nOiBydW5fd2l0aF90aW1lb3V0KGZpbmRfdHdvX3ZhcmlhYmxlX3NvbHV0aW9ucywgYXJncz0oQkFTRV9WQUxVRVMsKSksCiAgICAgICAgICAgICd0aHJlZSc6IFtdCiAgICAgICAgfQogICAgICAgIAogICAgICAgICMg5qOA5p+l5piv5ZCm5pyJ6KejCiAgICAgICAgaGFzX3NvbHV0aW9uID0gRmFsc2UKICAgICAgICAKICAgICAgICAjIOaYvuekuuWNleWPmOmHj+inowogICAgICAgIGlmIGJhc2Vfc29sdXRpb25zWydzaW5nbGUnXToKICAgICAgICAgICAgaGFzX3NvbHV0aW9uID0gVHJ1ZQogICAgICAgICAgICBkaXNwbGF5X3NvbHV0aW9ucyh7YTogW3NvbF0gZm9yIGEsIHNvbCBpbiB6aXAoQkFTRV9WQUxVRVMsIGJhc2Vfc29sdXRpb25zWydzaW5nbGUnXSkgaWYgc29sfSwgMSkKICAgICAgICAKICAgICAgICAjIOaYvuekuuWPjOWPmOmHj+inowogICAgICAgIGlmIGJhc2Vfc29sdXRpb25zWyd0d28nXSBhbmQgbGVuKGJhc2Vfc29sdXRpb25zWyd0d28nXSkgPiAwOgogICAgICAgICAgICBoYXNfc29sdXRpb24gPSBUcnVlCiAgICAgICAgICAgIGRpc3BsYXlfc29sdXRpb25zKGJhc2Vfc29sdXRpb25zWyd0d28nXSwgMikKICAgICAgICAKICAgICAgICAjIOWNleWPmOmHj+WSjOWPjOWPmOmHj+mDveaXoOino+aXtu+8jOWwneivleS4ieWPmOmHj+inowogICAgICAgIGlmIG5vdCBoYXNfc29sdXRpb246CiAgICAgICAgICAgIHByaW50KGYiXG49PT09IOWNleWPmOmHj+WSjOWPjOWPmOmHj+aXoOino++8jOWwneivleS4ieWPmOmHj+inoyA9PT09IikKICAgICAgICAgICAgYmFzZV9zb2x1dGlvbnNbJ3RocmVlJ10gPSBydW5fd2l0aF90aW1lb3V0KGZpbmRfdGhyZWVfdmFyaWFibGVfc29sdXRpb25zLCBhcmdzPShCQVNFX1ZBTFVFUywpKQogICAgICAgICAgICAKICAgICAgICAgICAgaWYgYmFzZV9zb2x1dGlvbnNbJ3RocmVlJ10gYW5kIGxlbihiYXNlX3NvbHV0aW9uc1sndGhyZWUnXSkgPiAwOgogICAgICAgICAgICAgICAgaGFzX3NvbHV0aW9uID0gVHJ1ZQogICAgICAgICAgICAgICAgZGlzcGxheV9zb2x1dGlvbnMoYmFzZV9zb2x1dGlvbnNbJ3RocmVlJ10sIDMpCiAgICAgICAgCiAgICAgICAgIyDlpoLmnpzmib7liLDop6PvvIzpgIDlh7rnqIvluo8KICAgICAgICBpZiBoYXNfc29sdXRpb246CiAgICAgICAgICAgIHByaW50KGYiXG7kvb/nlKjln7rnoYDns7vmlbDliJfooajvvIzlhbHmib7liLDmnInmlYjop6MiKQogICAgICAgICAgICByZXR1cm4KICAgIAogICAgIyDlpoLmnpzln7rnoYDns7vmlbDmsqHmnInmib7liLDop6PvvIzlsJ3or5Xms6Lliqjns7vmlbAKICAgIHByaW50KGYiXG49PT09IOWwneivleazouWKqOezu+aVsCA9PT09IikKICAgIAogICAgIyDmo4Dmn6Xnm67moIflgLzmmK/lkKbotoXov4fpmIjlgLwKICAgIGlmIFRBUkdFVCA+IFRIUkVFX1ZBUl9USFJFU0hPTEQ6CiAgICAgICAgcHJpbnQoZiLnm67moIflgLwge1RBUkdFVH0g6LaF6L+H6ZiI5YC8IHtUSFJFRV9WQVJfVEhSRVNIT0xEfe+8jOWPquWwneivleS4ieWPmOmHj+inoyIpCiAgICAgICAgZmx1Y3R1YXRlZF9zb2x1dGlvbnMgPSB7CiAgICAgICAgICAgICdzaW5nbGUnOiBbXSwKICAgICAgICAgICAgJ3R3byc6IFtdLAogICAgICAgICAgICAndGhyZWUnOiBydW5fd2l0aF90aW1lb3V0KGZpbmRfdGhyZWVfdmFyaWFibGVfc29sdXRpb25zLCBhcmdzPShGTFVDVFVBVEVEX1ZBTFVFUywpKQogICAgICAgIH0KICAgICAgICAKICAgICAgICAjIOaYvuekuuS4ieWPmOmHj+inowogICAgICAgIGlmIGZsdWN0dWF0ZWRfc29sdXRpb25zWyd0aHJlZSddIGFuZCBsZW4oZmx1Y3R1YXRlZF9zb2x1dGlvbnNbJ3RocmVlJ10pID4gMDoKICAgICAgICAgICAgZGlzcGxheV9zb2x1dGlvbnMoZmx1Y3R1YXRlZF9zb2x1dGlvbnNbJ3RocmVlJ10sIDMpCiAgICAgICAgICAgIHByaW50KGYiXG7kvb/nlKjms6Lliqjns7vmlbDliJfooajvvIzlhbHmib7liLDmnInmlYjop6MiKQogICAgICAgICAgICByZXR1cm4KICAgIGVsc2U6CiAgICAgICAgIyDnm67moIflgLzmnKrotoXov4fpmIjlgLzvvIzmjInpobrluo/lsJ3or5XljZXjgIHlj4zjgIHkuInlj5jph4/op6MKICAgICAgICBmbHVjdHVhdGVkX3NvbHV0aW9ucyA9IHsKICAgICAgICAgICAgJ3NpbmdsZSc6IHJ1bl93aXRoX3RpbWVvdXQoZmluZF9zaW5nbGVfdmFyaWFibGVfc29sdXRpb25zLCBhcmdzPShGTFVDVFVBVEVEX1ZBTFVFUywpKSwKICAgICAgICAgICAgJ3R3byc6IHJ1bl93aXRoX3RpbWVvdXQoZmluZF90d29fdmFyaWFibGVfc29sdXRpb25zLCBhcmdzPShGTFVDVFVBVEVEX1ZBTFVFUywpKSwKICAgICAgICAgICAgJ3RocmVlJzogW10KICAgICAgICB9CiAgICAgICAgCiAgICAgICAgIyDph43nva7moIflv5cKICAgICAgICBoYXNfc29sdXRpb24gPSBGYWxzZQogICAgICAgIAogICAgICAgICMg5pi+56S65Y2V5Y+Y6YeP6KejCiAgICAgICAgaWYgZmx1Y3R1YXRlZF9zb2x1dGlvbnNbJ3NpbmdsZSddOgogICAgICAgICAgICBoYXNfc29sdXRpb24gPSBUcnVlCiAgICAgICAgICAgIGRpc3BsYXlfc29sdXRpb25zKHthOiBbc29sXSBmb3IgYSwgc29sIGluIHppcChGTFVDVFVBVEVEX1ZBTFVFUywgZmx1Y3R1YXRlZF9zb2x1dGlvbnNbJ3NpbmdsZSddKSBpZiBzb2x9LCAxKQogICAgICAgIAogICAgICAgICMg5pi+56S65Y+M5Y+Y6YeP6KejCiAgICAgICAgaWYgZmx1Y3R1YXRlZF9zb2x1dGlvbnNbJ3R3byddIGFuZCBsZW4oZmx1Y3R1YXRlZF9zb2x1dGlvbnNbJ3R3byddKSA+IDA6CiAgICAgICAgICAgIGhhc19zb2x1dGlvbiA9IFRydWUKICAgICAgICAgICAgZGlzcGxheV9zb2x1dGlvbnMoZmx1Y3R1YXRlZF9zb2x1dGlvbnNbJ3R3byddLCAyKQogICAgICAgIAogICAgICAgICMg5Y2V5Y+Y6YeP5ZKM5Y+M5Y+Y6YeP6YO95peg6Kej5pe277yM5bCd6K+V5LiJ5Y+Y6YeP6KejCiAgICAgICAgaWYgbm90IGhhc19zb2x1dGlvbjoKICAgICAgICAgICAgcHJpbnQoZiJcbj09PT0g5Y2V5Y+Y6YeP5ZKM5Y+M5Y+Y6YeP5peg6Kej77yM5bCd6K+V5LiJ5Y+Y6YeP6KejID09PT0iKQogICAgICAgICAgICBmbHVjdHVhdGVkX3NvbHV0aW9uc1sndGhyZWUnXSA9IHJ1bl93aXRoX3RpbWVvdXQoZmluZF90aHJlZV92YXJpYWJsZV9zb2x1dGlvbnMsIGFyZ3M9KEZMVUNUVUFURURfVkFMVUVTLCkpCiAgICAgICAgICAgIAogICAgICAgICAgICBpZiBmbHVjdHVhdGVkX3NvbHV0aW9uc1sndGhyZWUnXSBhbmQgbGVuKGZsdWN0dWF0ZWRfc29sdXRpb25zWyd0aHJlZSddKSA+IDA6CiAgICAgICAgICAgICAgICBoYXNfc29sdXRpb24gPSBUcnVlCiAgICAgICAgICAgICAgICBkaXNwbGF5X3NvbHV0aW9ucyhmbHVjdHVhdGVkX3NvbHV0aW9uc1sndGhyZWUnXSwgMykKICAgICAgICAKICAgICAgICAjIOWmguaenOaJvuWIsOino++8jOmAgOWHuueoi+W6jwogICAgICAgIGlmIGhhc19zb2x1dGlvbjoKICAgICAgICAgICAgcHJpbnQoZiJcbuS9v+eUqOazouWKqOezu+aVsOWIl+ihqO+8jOWFseaJvuWIsOacieaViOinoyIpCiAgICAgICAgICAgIHJldHVybgogICAgCiAgICAjIOWmguaenOaJgOacieezu+aVsOmbhumDveayoeacieaJvuWIsOinowogICAgcHJpbnQoIlxu5rKh5pyJ5om+5Yiw56ym5ZCI5p2h5Lu255qE6Kej77yM5Y2z5L2/5L2/55So5rOi5Yqo5ZCO55qE57O75pWw5YiX6KGo44CCIikKCmlmIF9fbmFtZV9fID09ICJfX21haW5fXyI6CiAgICBzdGFydF90aW1lID0gdGltZS50aW1lKCkKICAgIG1haW4oKQogICAgcHJpbnQoZiJcbuaAu+iAl+aXtjoge3RpbWUudGltZSgpIC0gc3RhcnRfdGltZTouMmZ956eSIikgICAg

Success #stdin #stdout 0.03s 11924KB

stdin

copy

Standard input is empty

stdout

copy

目标值: 20000

==== 尝试基础系数 ====

找到 30 组2变量解：

1. 组合: a=36.5, b=41.5 (6 个有效解)
  1. x=233, y=277.0, a*x=8504.5, b*y=11495.5, 总和=20000.0 [平衡解]
  2. x=316, y=204.0, a*x=11534.0, b*y=8466.0, 总和=20000.0 [平衡解]
  3. x=67, y=423.0, a*x=2445.5, b*y=17554.5, 总和=20000.0 [原始解]
  4. x=150, y=350.0, a*x=5475.0, b*y=14525.0, 总和=20000.0 [原始解]
  5. x=399, y=131.0, a*x=14563.5, b*y=5436.5, 总和=20000.0 [原始解]

2. 组合: a=36.5, b=59 (5 个有效解)
  1. x=160, y=240.0, a*x=5840.0, b*y=14160.0, 总和=20000.0 [平衡解]
  2. x=278, y=167.0, a*x=10147.0, b*y=9853.0, 总和=20000.0 [平衡解]
  3. x=42, y=313.0, a*x=1533.0, b*y=18467.0, 总和=20000.0 [原始解]
  4. x=396, y=94.0, a*x=14454.0, b*y=5546.0, 总和=20000.0 [原始解]
  5. x=514, y=21.0, a*x=18761.0, b*y=1239.0, 总和=20000.0 [原始解]

3. 组合: a=36.5, b=68.5 (4 个有效解)
  1. x=197, y=187.0, a*x=7190.5, b*y=12809.5, 总和=20000.0 [平衡解]
  2. x=60, y=260.0, a*x=2190.0, b*y=17810.0, 总和=20000.0 [平衡解]
  3. x=334, y=114.0, a*x=12191.0, b*y=7809.0, 总和=20000.0 [原始解]
  4. x=471, y=41.0, a*x=17191.5, b*y=2808.5, 总和=20000.0 [原始解]

4. 组合: a=36.5, b=74 (3 个有效解)
  1. x=108, y=217.0, a*x=3942.0, b*y=16058.0, 总和=20000.0 [平衡解]
  2. x=256, y=144.0, a*x=9344.0, b*y=10656.0, 总和=20000.0 [平衡解]
  3. x=404, y=71.0, a*x=14746.0, b*y=5254.0, 总和=20000.0 [原始解]

5. 组合: a=36.5, b=91.5 (3 个有效解)
  1. x=202, y=138.0, a*x=7373.0, b*y=12627.0, 总和=20000.0 [平衡解]
  2. x=19, y=211.0, a*x=693.5, b*y=19306.5, 总和=20000.0 [平衡解]
  3. x=385, y=65.0, a*x=14052.5, b*y=5947.5, 总和=20000.0 [原始解]

6. 组合: a=41.5, b=36.5 (6 个有效解)
  1. x=277, y=233.0, a*x=11495.5, b*y=8504.5, 总和=20000.0 [平衡解]
  2. x=204, y=316.0, a*x=8466.0, b*y=11534.0, 总和=20000.0 [平衡解]
  3. x=58, y=482.0, a*x=2407.0, b*y=17593.0, 总和=20000.0 [原始解]
  4. x=131, y=399.0, a*x=5436.5, b*y=14563.5, 总和=20000.0 [原始解]
  5. x=350, y=150.0, a*x=14525.0, b*y=5475.0, 总和=20000.0 [原始解]

7. 组合: a=41.5, b=59 (4 个有效解)
  1. x=172, y=218.0, a*x=7138.0, b*y=12862.0, 总和=20000.0 [平衡解]
  2. x=290, y=135.0, a*x=12035.0, b*y=7965.0, 总和=20000.0 [平衡解]
  3. x=54, y=301.0, a*x=2241.0, b*y=17759.0, 总和=20000.0 [原始解]
  4. x=408, y=52.0, a*x=16932.0, b*y=3068.0, 总和=20000.0 [原始解]

8. 组合: a=41.5, b=68.5 (3 个有效解)
  1. x=132, y=212.0, a*x=5478.0, b*y=14522.0, 总和=20000.0 [平衡解]
  2. x=269, y=129.0, a*x=11163.5, b*y=8836.5, 总和=20000.0 [平衡解]
  3. x=406, y=46.0, a*x=16849.0, b*y=3151.0, 总和=20000.0 [原始解]

9. 组合: a=41.5, b=74 (3 个有效解)
  1. x=136, y=194.0, a*x=5644.0, b*y=14356.0, 总和=20000.0 [平衡解]
  2. x=284, y=111.0, a*x=11786.0, b*y=8214.0, 总和=20000.0 [平衡解]
  3. x=432, y=28.0, a*x=17928.0, b*y=2072.0, 总和=20000.0 [原始解]

10. 组合: a=41.5, b=91.5 (2 个有效解)
  1. x=149, y=151.0, a*x=6183.5, b*y=13816.5, 总和=20000.0 [平衡解]
  2. x=332, y=68.0, a*x=13778.0, b*y=6222.0, 总和=20000.0 [平衡解]

11. 组合: a=59, b=36.5 (5 个有效解)
  1. x=240, y=160.0, a*x=14160.0, b*y=5840.0, 总和=20000.0 [平衡解]
  2. x=167, y=278.0, a*x=9853.0, b*y=10147.0, 总和=20000.0 [平衡解]
  3. x=21, y=514.0, a*x=1239.0, b*y=18761.0, 总和=20000.0 [原始解]
  4. x=94, y=396.0, a*x=5546.0, b*y=14454.0, 总和=20000.0 [原始解]
  5. x=313, y=42.0, a*x=18467.0, b*y=1533.0, 总和=20000.0 [原始解]

12. 组合: a=59, b=41.5 (4 个有效解)
  1. x=218, y=172.0, a*x=12862.0, b*y=7138.0, 总和=20000.0 [平衡解]
  2. x=135, y=290.0, a*x=7965.0, b*y=12035.0, 总和=20000.0 [平衡解]
  3. x=52, y=408.0, a*x=3068.0, b*y=16932.0, 总和=20000.0 [原始解]
  4. x=301, y=54.0, a*x=17759.0, b*y=2241.0, 总和=20000.0 [原始解]

13. 组合: a=59, b=68.5 (2 个有效解)
  1. x=130, y=180.0, a*x=7670.0, b*y=12330.0, 总和=20000.0 [平衡解]
  2. x=267, y=62.0, a*x=15753.0, b*y=4247.0, 总和=20000.0 [平衡解]

14. 组合: a=59, b=74 (4 个有效解)
  1. x=122, y=173, a*x=7198.0, b*y=12802.0, 总和=20000.0 [平衡解]
  2. x=196, y=114, a*x=11564.0, b*y=8436.0, 总和=20000.0 [平衡解]
  3. x=48, y=232, a*x=2832.0, b*y=17168.0, 总和=20000.0 [原始解]
  4. x=270, y=55, a*x=15930.0, b*y=4070.0, 总和=20000.0 [原始解]

15. 组合: a=59, b=91.5 (2 个有效解)
  1. x=187, y=98.0, a*x=11033.0, b*y=8967.0, 总和=20000.0 [平衡解]
  2. x=4, y=216.0, a*x=236.0, b*y=19764.0, 总和=20000.0 [平衡解]

16. 组合: a=68.5, b=36.5 (4 个有效解)
  1. x=187, y=197.0, a*x=12809.5, b*y=7190.5, 总和=20000.0 [平衡解]
  2. x=260, y=60.0, a*x=17810.0, b*y=2190.0, 总和=20000.0 [平衡解]
  3. x=41, y=471.0, a*x=2808.5, b*y=17191.5, 总和=20000.0 [原始解]
  4. x=114, y=334.0, a*x=7809.0, b*y=12191.0, 总和=20000.0 [原始解]

17. 组合: a=68.5, b=41.5 (3 个有效解)
  1. x=212, y=132.0, a*x=14522.0, b*y=5478.0, 总和=20000.0 [平衡解]
  2. x=129, y=269.0, a*x=8836.5, b*y=11163.5, 总和=20000.0 [平衡解]
  3. x=46, y=406.0, a*x=3151.0, b*y=16849.0, 总和=20000.0 [原始解]

18. 组合: a=68.5, b=59 (2 个有效解)
  1. x=180, y=130.0, a*x=12330.0, b*y=7670.0, 总和=20000.0 [平衡解]
  2. x=62, y=267.0, a*x=4247.0, b*y=15753.0, 总和=20000.0 [平衡解]

19. 组合: a=68.5, b=74 (2 个有效解)
  1. x=104, y=174.0, a*x=7124.0, b*y=12876.0, 总和=20000.0 [平衡解]
  2. x=252, y=37.0, a*x=17262.0, b*y=2738.0, 总和=20000.0 [平衡解]

20. 组合: a=68.5, b=91.5 (1 个有效解)
  1. x=125, y=125.0, a*x=8562.5, b*y=11437.5, 总和=20000.0 [平衡解]

21. 组合: a=74, b=36.5 (3 个有效解)
  1. x=217, y=108.0, a*x=16058.0, b*y=3942.0, 总和=20000.0 [平衡解]
  2. x=144, y=256.0, a*x=10656.0, b*y=9344.0, 总和=20000.0 [平衡解]
  3. x=71, y=404.0, a*x=5254.0, b*y=14746.0, 总和=20000.0 [原始解]

22. 组合: a=74, b=41.5 (3 个有效解)
  1. x=194, y=136.0, a*x=14356.0, b*y=5644.0, 总和=20000.0 [平衡解]
  2. x=111, y=284.0, a*x=8214.0, b*y=11786.0, 总和=20000.0 [平衡解]
  3. x=28, y=432.0, a*x=2072.0, b*y=17928.0, 总和=20000.0 [原始解]

23. 组合: a=74, b=59 (4 个有效解)
  1. x=173, y=122, a*x=12802.0, b*y=7198.0, 总和=20000.0 [平衡解]
  2. x=114, y=196, a*x=8436.0, b*y=11564.0, 总和=20000.0 [平衡解]
  3. x=55, y=270, a*x=4070.0, b*y=15930.0, 总和=20000.0 [原始解]
  4. x=232, y=48, a*x=17168.0, b*y=2832.0, 总和=20000.0 [原始解]

24. 组合: a=74, b=68.5 (2 个有效解)
  1. x=174, y=104.0, a*x=12876.0, b*y=7124.0, 总和=20000.0 [平衡解]
  2. x=37, y=252.0, a*x=2738.0, b*y=17262.0, 总和=20000.0 [平衡解]

25. 组合: a=74, b=91.5 (1 个有效解)
  1. x=112, y=128.0, a*x=8288.0, b*y=11712.0, 总和=20000.0 [平衡解]

26. 组合: a=91.5, b=36.5 (3 个有效解)
  1. x=138, y=202.0, a*x=12627.0, b*y=7373.0, 总和=20000.0 [平衡解]
  2. x=211, y=19.0, a*x=19306.5, b*y=693.5, 总和=20000.0 [平衡解]
  3. x=65, y=385.0, a*x=5947.5, b*y=14052.5, 总和=20000.0 [原始解]

27. 组合: a=91.5, b=41.5 (2 个有效解)
  1. x=151, y=149.0, a*x=13816.5, b*y=6183.5, 总和=20000.0 [平衡解]
  2. x=68, y=332.0, a*x=6222.0, b*y=13778.0, 总和=20000.0 [平衡解]

28. 组合: a=91.5, b=59 (2 个有效解)
  1. x=98, y=187.0, a*x=8967.0, b*y=11033.0, 总和=20000.0 [平衡解]
  2. x=216, y=4.0, a*x=19764.0, b*y=236.0, 总和=20000.0 [平衡解]

29. 组合: a=91.5, b=68.5 (1 个有效解)
  1. x=125, y=125.0, a*x=11437.5, b*y=8562.5, 总和=20000.0 [平衡解]

30. 组合: a=91.5, b=74 (1 个有效解)
  1. x=128, y=112.0, a*x=11712.0, b*y=8288.0, 总和=20000.0 [平衡解]

使用基础系数列表，共找到有效解

总耗时: 0.00秒

https://ideone.com/9sNfbn

language:

Python 3 nbc (python 3.7.3)

created:

visibility:

public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!

Discover > Sphere Engine API

Discover > IDE Widget

Choose your language