C# Online Compiler | .NET Fiddle

<no name> by Anonymous

using System;
using System.Linq;
using System.Collections.Generic;
					
public class Resource
{
	public string ProductContext {get;}
	public Resource(string productContext)
	{
		ProductContext = productContext;
	}
}


public class Program
{
	public static void Main()
	{
		List<Resource> resources = [
			new Resource("a"),
			new Resource("b"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("b"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("b"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("b"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("b"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("b"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("b"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("b"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("b"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("a"),
			new Resource("b"),
			new Resource("b"),
			new Resource("b"),
			new Resource("b"),
			new Resource("b"),
			new Resource("b"),
			new Resource("b"),
			new Resource("b"),
			new Resource("c"),
			new Resource("c"),
			new Resource("c"),
			new Resource("c"),
			new Resource("c"),
			new Resource("c"),
	    ];

		int _minResourcesPerProductContext = 10;
		int maxResourcesPerUser = 40;
		int toDelete = resources.Count() - maxResourcesPerUser;
		
		if (toDelete > 0)
		{
		    Dictionary<string, int> deleteCandidates = resources
			    .GroupBy(resource => resource.ProductContext)
			    .Where(group => group.Count() > _minResourcesPerProductContext)
                .ToDictionary(group => group.Key, group => group.Count() - _minResourcesPerProductContext);
		
		    int canBeDeleted = deleteCandidates.Sum(c => c.Value);   // invariant: canBeDeleted >= 0
		    if (canBeDeleted > 0)
			{
		        // inplace modification
		        foreach (var (k, v) in deleteCandidates)
 		        {
			        deleteCandidates[k] = (int)Math.Ceiling((float)deleteCandidates[k] / canBeDeleted * toDelete);
					
					Console.WriteLine($"deleteCandidates[{k}] = {deleteCandidates[k]}");
		        }
				// invariant deleteCandidates.Sum(c => c.Value) >= toDelete
	        }
		}
	}
}

​x
 
using System;
using System.Linq;
using System.Collections.Generic;
                    
public class Resource
{
    public string ProductContext {get;}
    public Resource(string productContext)
    {
        ProductContext = productContext;
    }
}
​
​
public class Program
{
    public static void Main()
    {
        List<Resource> resources = [
            new Resource("a"),
            new Resource("b"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("b"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("b"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("b"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("b"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("b"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("b"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("b"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("b"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("a"),
            new Resource("b"),
            new Resource("b"),
            new Resource("b"),
            new Resource("b"),
            new Resource("b"),
            new Resource("b"),
            new Resource("b"),
            new Resource("b"),
            new Resource("c"),
            new Resource("c"),
            new Resource("c"),
            new Resource("c"),
            new Resource("c"),
            new Resource("c"),
        ];
​
        int _minResourcesPerProductContext = 10;
        int maxResourcesPerUser = 40;
        int toDelete = resources.Count() - maxResourcesPerUser;
        
        if (toDelete > 0)
        {
            Dictionary<string, int> deleteCandidates = resources
                .GroupBy(resource => resource.ProductContext)
                .Where(group => group.Count() > _minResourcesPerProductContext)
                .ToDictionary(group => group.Key, group => group.Count() - _minResourcesPerProductContext);
        
            int canBeDeleted = deleteCandidates.Sum(c => c.Value);   // invariant: canBeDeleted >= 0
            if (canBeDeleted > 0)
            {
                // inplace modification
                foreach (var (k, v) in deleteCandidates)
                {
                    deleteCandidates[k] = (int)Math.Ceiling((float)deleteCandidates[k] / canBeDeleted * toDelete);
                    
                    Console.WriteLine($"deleteCandidates[{k}] = {deleteCandidates[k]}");
                }
                // invariant deleteCandidates.Sum(c => c.Value) >= toDelete
            }
        }
    }
}

View IL Code