Giá trị Shapley liên minh chính xác
Tính phần Shapley chính xác cho tối đa tám người chơi từ bảng giá trị liên minh nguyên có trị tuyệt đối không quá 1000000.
from fractions import Fraction
from math import comb
def shapley_values(values):
if type(values) not in (list, tuple) or not 1 <= len(values) <= 256 or len(values) & (len(values)-1):
raise ValueError("shapley.table")
if any(type(v) is not int or abs(v) > 10**6 for v in values) or values[0] != 0:
raise ValueError("shapley.value")
players = len(values).bit_length()-1
result = []
for player in range(players):
share = Fraction(0)
for subset in range(len(values)):
if not subset & (1 << player):
size = subset.bit_count()
weight = Fraction(1, players*comb(players-1, size))
share += weight*(values[subset | (1 << player)]-values[subset])
result.append(share)
return result| Dự án | Thử trò chơi cộng tính và không người chơi, từ chối liên minh rỗng khác không hoặc độ dài bảng không là lũy thừa của hai. |
|---|---|
| Kiểm tra trước khi áp dụng | So sánh hành vi thực tế với kết quả mong đợi. Nếu kiểm tra thất bại, tìm nguyên nhân trước khi sửa tiếp. |
| Mô hình | Cấu hình endpoint tương thích OpenAI hoặc Anthropic bằng URL cơ sở và khóa API nếu cần. Kiểm tra kết nối. Máy chủ mô hình cục bộ phải đang chạy; công cụ từ xa có thể truyền dữ liệu riêng. |
from fractions import Fraction
from math import comb
def shapley_values(values):
if type(values) not in (list, tuple) or not 1 <= len(values) <= 256 or len(values) & (len(values)-1):
raise ValueError("shapley.table")
if any(type(v) is not int or abs(v) > 10**6 for v in values) or values[0] != 0:
raise ValueError("shapley.value")
players = len(values).bit_length()-1
result = []
for player in range(players):
share = Fraction(0)
for subset in range(len(values)):
if not subset & (1 << player):
size = subset.bit_count()
weight = Fraction(1, players*comb(players-1, size))
share += weight*(values[subset | (1 << player)]-values[subset])
result.append(share)
return resultLàm rõ các giả định đằng sau phần được tính để có thể rà soát
CoalitionAster cung cấp không gian lập trình Windows để kiểm tra mã nguồn và thảo luận có AI hỗ trợ khi phát triển ứng dụng toán học. Bắt đầu với ý nghĩa của bảng đầu vào và kết quả phần mềm báo cáo. Một phép tính có thể nhất quán nội bộ nhưng trả lời câu hỏi khác với câu hỏi giao diện thể hiện, vì vậy hãy thống nhất ý nghĩa đó trước khi yêu cầu thay đổi phần triển khai.
Ví dụ giá trị Shapley đưa ra tác vụ dự án cụ thể: kiểm tra các phần phân số chính xác suy ra từ giá trị liên minh. Cung cấp bảng nhỏ và giải thích cách ánh xạ người tham gia vào các mục. Yêu cầu trợ lý kiểm tra những giả định này cùng phép tính, không coi kết quả toán học minh họa là khuyến nghị tài chính hoặc chính sách phân bổ trong thực tế.
Rà soát sửa đổi được đề xuất theo các ví dụ tính độc lập, bao gồm cách biểu diễn liên minh rỗng. Chạy kiểm thử dự án và kiểm tra cách phân số chính xác được chuyển tới lớp báo cáo. Nếu giao diện làm tròn giá trị, hãy rà soát riêng để quyết định định dạng không có vẻ như thay đổi phân bổ nền tảng hoặc che khuất giả định tạo ra nó.
Bạn có thể dùng mô hình AI không lọc được cung cấp qua điểm cuối tương thích OpenAI hoặc Anthropic được hỗ trợ. Cung cấp thông tin xác thực khi cần và kiểm tra công cụ cùng dung lượng ngữ cảnh. Dịch vụ được chọn quyết định hành vi và các hạn chế của mô hình; CoalitionAster gắn công việc lập trình với các tệp dự án và kết quả bạn có thể tự kiểm tra.
Làm rõ phép tính trước khi sửa mã
Ca kiểm thử giá trị liên minh cần giải thích điều gì?
Xác định người tham gia, cách các mục trong bảng tương ứng với liên minh và giá trị mong đợi của liên minh rỗng. Dùng ví dụ nhỏ có các phần được tính độc lập. Nhờ đó trợ lý có thể rà soát giả định biểu diễn cùng phép toán.
Ví dụ toán học có xác định chính sách chi trả thực tế không?
Không. Đây là minh họa để rà soát mã dự án. Ý nghĩa đầu vào và quyết định dùng quy tắc phân bổ nào thuộc yêu cầu ứng dụng; chỉ một phần được tính ra không đủ biện minh cho quyết định vận hành hoặc tài chính.
Nên rà soát đầu ra làm tròn thế nào?
Tách ca kiểm thử phép tính chính xác khỏi ca kiểm thử hiển thị. Nêu quy tắc làm tròn và trình bày mong muốn, rồi kiểm tra nơi áp dụng chúng. Không nên nhầm báo cáo làm tròn với giá trị chính xác do phép tính nền tảng trả về.
Tên miền có nghĩa là có sẵn chức năng chạy kiểm thử trên đám mây không?
Sản phẩm được mô tả là không gian lập trình Windows có kết nối mô hình cấu hình được. Tên miền không xác nhận chức năng chạy kiểm thử trên đám mây. Chạy kiểm tra trong môi trường dự án đã chọn và đưa kết quả liên quan trở lại buổi rà soát.
CoalitionAster · Cập nhật 2026-10-25
